Effective Interpolation and Preservation in Guarded Logics
From MaRDI portal
Publication:5277909
DOI10.1145/2814570zbMath1367.03036OpenAlexW2270291724MaRDI QIDQ5277909
Michael Vanden Boom, Michael Benedikt, Balder ten Cate
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2814570
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items
Unnamed Item, Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions, Semiring Provenance for Guarded Logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulation quantifiers and uniform interpolation for guarded first order logic
- An interpolation theorem in the predicate calculus
- The complexity of explicit definitions
- Modal languages and bounded fragments of predicate logic
- Algebraic characterizations of various Beth definability properties
- An Interpolation Theorem
- Rewriting Guarded Negation Queries
- Beth Definability in Expressive Description Logics
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Equality and lyndon's interpolation theorem
- Taming first-order logic
- Effective interpolation and preservation in guarded logics
- On the Restraining Power of Guards
- Eliminating definitions and Skolem functions in first-order logic
- Computer Science Logic
- Model Theory Makes Formulas Large
- Guarded Negation