Craig interpolation for decidable first-order fragments
From MaRDI portal
Publication:6629523
DOI10.1007/978-3-031-57231-9_7MaRDI QIDQ6629523
Publication date: 30 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new modal Lindström theorem
- The many faces of interpolation
- The Craig interpolation theorem in abstract model theory
- Modal languages and bounded fragments of predicate logic
- Repairing the interpolation theorem in quantified modal logic
- Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.
- Über Möglichkeiten im Relativkalkül.
- Interpolation and definability in guarded fragments
- Complexity and nicety of fluted logic
- Decidability of fluted logic with identity
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment
- Combined covers and Beth definability
- The fluted fragment with transitive relations
- Classes without the amalgamation property
- Beth's theorem in cardinality logics
- An interpolation theorem
- Generating plans from proofs. The interpolation-based approach to query reformulation
- Unary negation
- Rewriting Guarded Negation Queries
- Beth definability in expressive description logics
- Database Repairing and Consistent Query Answering
- Interpolation and Model Checking
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Interpolation for extended modal languages
- Lindstrom theorems for fragments of first-order logic
- Craig Interpolation for Linear Temporal Languages
- μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★
- On languages with two variables
- Interpolation with Decidable Fixpoint Logics
- Fluted formulas and the limits of decidability
- Quine's ‘limits of decision’
- On the Restraining Power of Guards
- Generating Plans from Proofs
- THE FLUTED FRAGMENT REVISITED
- Effective Interpolation and Preservation in Guarded Logics
- Quine's Fluted Fragment is Non-Elementary
- Computer Science Logic
- On Extensions of Elementary Logic
- Guarded negation
- Towards a model theory of ordered logics: expressivity and interpolation
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 Q6629523)
