:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz, Wirsing, Martin
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2406.02094
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A modular bisimulation characterisation for fragments of hybrid logic
by: Badia, Guillermo, et al.
Published: (2023)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Ehrenfeucht-Fraïssé Games for Continuous First-Order Logic
by: Hirvonen, Åsa, et al.
Published: (2024)

Birkhoff style proof systems for hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
by: Găină, Daniel, et al.
Published: (2026)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)

Codd's Theorem for Databases over Semirings
by: Badia, Guillermo, et al.
Published: (2025)

Proof Scores: A Survey (full version)
by: Riesco, Adrian, et al.
Published: (2025)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
by: Kabra, Aditi, et al.
Published: (2026)

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

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Faster Game Solving by Fixpoint Acceleration
by: Hausmann, Daniel
Published: (2024)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Complete Dynamic Logic of Communicating Hybrid Programs
by: Brieger, Marvin, et al.
Published: (2024)

Effective Littlestone Dimension
by: Rose, Valentino Delle, et al.
Published: (2024)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

A Non-Binary Method for Finding Interpolants: Theory and Practice
by: Trybus, Adam, et al.
Published: (2026)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

A Timed Obstruction Logic for Dynamic Game Models
by: Cortes, David, et al.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

The Qualitative Collapse of Concurrent Games
by: Clairambault, Pierre
Published: (2024)

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

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

The Church Synthesis Problem over Continuous Time
by: Rabinovich, Alexander, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)