Craig interpolation for decidable first-order fragments

DOI10.46298/LMCS-21(3:22)2025MaRDI QIDQ6925613zbMATH OpenFDO

Authors Balder ten Cate, Jesse Comer

Publication date 25 September 2025

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-21(3:22)2025

zbMATH Keywords

abstract model theoryCraig interpolationdecidability

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• -programs, uniform interpolation and bisimulation quantifiers for modal logics
• A mathematical introduction to logic.
• A new modal Lindström theorem
• A Step Up in Expressiveness of Decidable Fixpoint Logics
• An interpolation theorem
• Beth definability in expressive description logics
• Beth's theorem in cardinality logics
• Classes without the amalgamation property
• Combined covers and Beth definability
• Complexity and nicety of fluted logic
• Computer Science Logic
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments
• Craig Interpolation for Linear Temporal Languages
• Database Repairing and Consistent Query Answering
• Decidability of fluted logic with identity
• Effective interpolation and preservation in guarded logics
• Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
• Fluted formulas and the limits of decidability
• Generating plans from proofs
• Guarded negation
• scientific article; zbMATH DE number 3910377 (Why is no real title available?)
• scientific article; zbMATH DE number 1341606 (Why is no real title available?)
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• scientific article; zbMATH DE number 7104937 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Interpolation and definability in guarded fragments
• Interpolation and model checking
• Interpolation for extended modal languages
• Interpolation with decidable fixpoint logics
• Lindstrom theorems for fragments of first-order logic
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.
• Modal languages and bounded fragments of predicate logic
• Model-Theoretic Logics
• On Extensions of Elementary Logic
• On languages with two variables
• On the limits of decision: the adjacent fragment of first-order logic
• On the Restraining Power of Guards
• Quine's fluted fragment is non-elementary
• Quine's ‘limits of decision’
• Repairing the interpolation theorem in quantified modal logic
• Rewriting Guarded Negation Queries
• The Craig interpolation theorem in abstract model theory
• The fluted fragment revisited
• The fluted fragment with transitive relations
• The many faces of interpolation
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Tolerance logic
• Towards a model theory of ordered logics: expressivity and interpolation
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
• Unary negation
• Über Möglichkeiten im Relativkalkül.

Cited in

(1)

• Craig interpolation for decidable first-order fragments

This page was built for publication: Craig interpolation for decidable first-order fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925613)