Interpolation and definability in guarded fragments

DOI10.1023/A:1015154431342zbMath0998.03004OpenAlexW1600958215MaRDI QIDQ1604801

Eva Hoogland, Maarten Marx

Publication date: 8 July 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015154431342

zbMATH Keywords

modal logicbisimulationguarded fragmentrelativized quantifiersBeth definability propertyCraig interpolation propertyfragment of first-order logicpacked fragmentfinite-variable fragment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Uniform guarded fragments ⋮ Bisimulation quantifiers and uniform interpolation for guarded first order logic ⋮ Interpolation for extended modal languages ⋮ Guards, bounds, and generalized semantics ⋮ Guarded fragments with constants ⋮ The semijoin algebra and the guarded fragment ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Guarded fixed point logics and the monadic theory of countable trees.