Image de couverture de livre

The interpolant existence problem for weak K4 and difference logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kurucz, Agi, Wolter, Frank, Zakharyaschev, Michael
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 non-uniform view of Craig interpolation in modal logics with linear frames
par: Kurucz, Agi, et autres
Publié: (2023)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
par: Kurucz, Agi, et autres
Publié: (2023)

From Interpolating Formulas to Separating Languages and Back Again
par: Kurucz, Agi, et autres
Publié: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
par: Kikot, Stanislav, et autres
Publié: (2017)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
par: Kuijer, Louwe, et autres
Publié: (2025)

Extremal Separation Problems for Temporal Instance Queries
par: Jung, Jean Christoph, et autres
Publié: (2024)

A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
par: Jung, Jean Christoph, et autres
Publié: (2023)

Unification in Matching Logic -- Revisited
par: Kurucz, Ádám, et autres
Publié: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

A weakly monotonic, logically constrained, HORPO-variant
par: Kop, Cynthia
Publié: (2024)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
par: Su, Youan
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Fusions of One-Variable First-Order Modal Logics
par: Kontchakov, Roman, et autres
Publié: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

Computation of Interpolants for Description Logic Concepts in Hard Cases
par: Jung, Jean Christoph, et autres
Publié: (2025)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

On a Dependently Typed Encoding of Matching Logic
par: Kurucz, Ádám, et autres
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
par: Artale, Alessandro, et autres
Publié: (2024)

Analysis of logics with arithmetic
par: Benedikt, Michael, et autres
Publié: (2025)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Syntax and semantics of multi-adjoint normal logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Intuitionistic modal logic LIK4 is decidable
par: Balbiani, Philippe, et autres
Publié: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Comparing differentiable logics for learning with logical constraints
par: Flinkow, Thomas, et autres
Publié: (2024)