Cover Image

A modular bisimulation characterisation for fragments of hybrid logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Badia, Guillermo, Gaina, Daniel, Knapp, Alex, Kowalski, Tomasz, Wirsing, Martin
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
by: Badia, Guillermo, et al.
Published: (2024)

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

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

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

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

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Deciding the synthesis problem for hybrid games through bisimulation
by: Dima, Catalin, et al.
Published: (2024)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

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

Tree algebras and bisimulation-invariant MSO on finite graphs
by: Colcombet, Thomas, et al.
Published: (2024)

Expressivity of bisimulation pseudometrics over analytic state spaces
by: Luckhardt, Daniel, et al.
Published: (2025)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

Goedel logics: Prenex fragments
by: Baaz, Matthias, et al.
Published: (2024)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

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

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Non-commutative linear logic fragments with sub-context-free complexity
by: Nishimiya, Yusaku, et al.
Published: (2025)

Completeness of two fragments of a logic for conditional strategic reasoning
by: Li, Yinfeng, et al.
Published: (2024)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
by: Castaño, Diego, et al.
Published: (2024)

On two-variable guarded fragment logic with expressive local Presburger constraints
by: Lu, Chia-Hsuan, et al.
Published: (2022)

Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)

Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

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

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

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

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Intuitionistic logic, dual intuitionistic logic, and modality
by: Aryal, Safal Raman
Published: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Modal definability in Euclidean modal logics
by: Balbiani, Philippe, et al.
Published: (2025)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Operational semantics and program verification using many-sorted hybrid modal logic
by: Leustean, Ioana, et al.
Published: (2019)