Image de couverture de livre

Hybrid-Dynamic Ehrenfeucht-Fraisse Games

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz, Wirsing, Martin
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A modular bisimulation characterisation for fragments of hybrid logic
par: Badia, Guillermo, et autres
Publié: (2023)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
par: Mannucci, Mirco A.
Publié: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
par: Puljujärvi, Joni, et autres
Publié: (2026)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
par: Hirvonen, Åsa, et autres
Publié: (2024)

Birkhoff style proof systems for hybrid-dynamic quantum logic
par: Gaina, Daniel
Publié: (2024)

Foundations of logic programming in hybrid-dynamic quantum logic
par: Gaina, Daniel
Publié: (2024)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
par: Găină, Daniel, et autres
Publié: (2026)

Model-theoretic Forcing in Transition Algebra
par: Hashimoto, Go, et autres
Publié: (2025)

Forcing, Transition Algebras, and Calculi
par: Go, Hashimoto, et autres
Publié: (2024)

On the computability of cofinal Fraïssé limits
par: Ackerman, Nathanael, et autres
Publié: (2026)

Codd's Theorem for Databases over Semirings
par: Badia, Guillermo, et autres
Publié: (2025)

Proof Scores: A Survey (full version)
par: Riesco, Adrian, et autres
Publié: (2025)

Fagin's Theorem for Semiring Turing Machines
par: Badia, Guillermo, et autres
Publié: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
par: Kabra, Aditi, et autres
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
par: Brieger, Marvin, et autres
Publié: (2024)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
par: Phalakarn, Kittiphon, et autres
Publié: (2025)

A Non-Binary Method for Finding Interpolants: Theory and Practice
par: Trybus, Adam, et autres
Publié: (2026)

Generalised Reachability Games Revisited
par: Bose, Sougata, et autres
Publié: (2025)

Effective Littlestone Dimension
par: Rose, Valentino Delle, et autres
Publié: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

The Qualitative Collapse of Concurrent Games
par: Clairambault, Pierre
Publié: (2024)

Stuttering Equivalence for Parity Games
par: Cranen, Sjoerd, et autres
Publié: (2011)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

Semantic Foundations of Reductive Reasoning
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

A Timed Obstruction Logic for Dynamic Game Models
par: Cortes, David, et autres
Publié: (2025)

Relating Apartness and Branching Bisimulation Games
par: Rot, Jurriaan, et autres
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)