Imagen de Portada

The Size of Interpolants in Modal Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cate, Balder ten, Kuijer, Louwe, Wolter, Frank
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science 03B45
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
por: Kuijer, Louwe, et al.
Publicado: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
por: Wolter, Frank, et al.
Publicado: (2024)

From Interpolating Formulas to Separating Languages and Back Again
por: Kurucz, Agi, et al.
Publicado: (2025)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Possibility Frames and Forcing for Modal Logic
por: Holliday, Wesley H.
Publicado: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)

Interpolation in First-Order Logic
por: Cate, Balder ten, et al.
Publicado: (2025)

Six Proofs of Interpolation for the Modal Logic K
por: Bezhanishvili, Nick, et al.
Publicado: (2025)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
por: Gallardo, Andrés, et al.
Publicado: (2024)

State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023)

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

Logics of False Belief and Radical Ignorance
por: Fan, Jie
Publicado: (2024)

Interpolation in Classical Propositional Logic
por: Koopmann, Patrick, et al.
Publicado: (2025)

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Interpolation above S4
por: Santschi, Simon, et al.
Publicado: (2026)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Craig Interpolation for Decidable First-Order Fragments
por: Cate, Balder ten, et al.
Publicado: (2023)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

Classification and deontic explosion for contrary-to-duty obligations
por: Kjos-Hanssen, Bjørn
Publicado: (2026)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Characterising Modal Formulas with Examples
por: Cate, Balder ten, et al.
Publicado: (2023)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
por: Gasquet, Olivier
Publicado: (2025)

Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Lewis and Brouwer meet Strong Löb
por: Visser, Albert, et al.
Publicado: (2024)

Varieties of Distributed Knowledge
por: Galimullin, Rustam, et al.
Publicado: (2025)

Nested Sequents for Provability Logic GLP
por: Shamkanov, Daniyar
Publicado: (2014)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
por: Coniglio, Marcelo E.
Publicado: (2023)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
por: Ghari, Meghdad
Publicado: (2021)

Logics of polyhedral reachability
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

Algebraic Semantics for the Logic of Proofs
por: Parsa, Amir Farahmand, et al.
Publicado: (2021)

Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)

Pretabular Tense Logics over S4t
por: Chen, Qian
Publicado: (2024)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2024)

Interpolation in Non-Classical Logics
por: Fussner, Wesley
Publicado: (2025)

Modal Fragments
por: Bezhanishvili, Nick, et al.
Publicado: (2026)

Modal weak Kleene logics: axiomatizations and relational semantics
por: Bonzio, Stefano, et al.
Publicado: (2024)

Game semantics for the constructive $μ$-calculus
por: Pacheco, Leonardo
Publicado: (2023)

The Orthologic of Epistemic Modals
por: Holliday, Wesley H., et al.
Publicado: (2022)