Effective Interpolation and Preservation in Guarded Logics

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

zbMATH Keywords

guarded fragmentmosaic methodguarded negation fragment

Mathematics Subject Classification ID

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