Buchumschlag

Uniform interpolation for interpretability logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Horvat, Sebastijan, Miranda, Borja Sierra, Studer, Thomas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cut elimination for a non-wellfounded system for the master modality
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Proof Theory for Bimodal Provability Logics
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2026)

Knowledge and Common Knowledge of Strategies
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Coalgebraic proof translations for non-wellfounded proofs
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Cyclic Proofs for iGL via Corecursion
von: Miranda, Borja Sierra
Veröffentlicht: (2023)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Provability Models
von: Mojtahedi, Mojtaba, et al.
Veröffentlicht: (2025)

Modular constructive Lyndon interpolation for nondistributive logics
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Fischer-Servi logic does not have interpolation
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)

Uniform Agent-interpolation of Distributed Knowledge
von: Su, Youan
Veröffentlicht: (2026)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
von: Sato, Yuta
Veröffentlicht: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
von: Kogure, Haruka, et al.
Veröffentlicht: (2026)

The interpolant existence problem for weak K4 and difference logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2024)

Provability interpretation of non-normal modal logics having neighborhood semantics
von: Kogure, Haruka
Veröffentlicht: (2025)

A discrete-time temporal deontic STIT logic based on interpreted systems
von: Rong, Shuge, et al.
Veröffentlicht: (2025)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
von: Su, Youan
Veröffentlicht: (2025)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Tableaux for epistemic Gödel logic
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

Comparing differentiable logics for learning with logical constraints
von: Flinkow, Thomas, et al.
Veröffentlicht: (2024)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
von: Koberda, Thomas, et al.
Veröffentlicht: (2023)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Simple tableaux for two expansions of Gödel modal logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

Synergistic Knowledge
von: Cachin, Christian, et al.
Veröffentlicht: (2024)

Simplicial Belief
von: Cachin, Christian, et al.
Veröffentlicht: (2026)

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)