Buchumschlag

Craig Interpolation for Decidable First-Order Fragments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cate, Balder ten, Comer, Jesse
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

The Size of Interpolants in Modal Logics
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Characterising Modal Formulas with Examples
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

When do modal definability and preservation theorems transfer to the finite?
von: van Benthem, Johan, et al.
Veröffentlicht: (2026)

Characterizing LTL Formulas by Examples
von: Cate, Balder ten, et al.
Veröffentlicht: (2026)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Lovász Theorems for Modal Languages
von: Comer, Jesse
Veröffentlicht: (2024)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
von: Elad, Neta, et al.
Veröffentlicht: (2026)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
von: Joshi, Varad, et al.
Veröffentlicht: (2025)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
von: Soeteman, Arie, et al.
Veröffentlicht: (2026)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
von: Heuer, Jan, et al.
Veröffentlicht: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Expressive Power of Deep Homomorphism Networks over Relational Databases
von: Schönherr, Moritz, et al.
Veröffentlicht: (2026)

Interpolation with Automated First-Order Reasoning
von: Wernhard, Christoph
Veröffentlicht: (2025)

When do homomorphism counts help in query algorithms?
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
von: Wernhard, Christoph
Veröffentlicht: (2026)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
von: Wu, Hao, et al.
Veröffentlicht: (2024)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
von: Bertrand, Meven Lennon, et al.
Veröffentlicht: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
von: Pratt-Hartmann, Ian
Veröffentlicht: (2017)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
von: Guelev, Dimitar P.
Veröffentlicht: (2025)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Technical Report: Time-Bounded Resilience
von: Kirigin, Tajana Ban, et al.
Veröffentlicht: (2024)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)