Interpolation and definability in guarded fragments
From MaRDI portal
Publication:1604801
DOI10.1023/A:1015154431342zbMath0998.03004MaRDI QIDQ1604801
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
modal logic; bisimulation; guarded fragment; relativized quantifiers; Beth definability property; Craig interpolation property; fragment of first-order logic; packed fragment; finite-variable fragment
03B45: Modal logic (including the logic of norms)
03C40: Interpolation, preservation, definability
03B20: Subsystems of classical logic (including intuitionistic logic)
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, Epimorphisms in cylindric algebras and definability in finite variable logic, Guarded fixed point logics and the monadic theory of countable trees., Guards, bounds, and generalized semantics, Guarded fragments with constants, The semijoin algebra and the guarded fragment, Interpolation for extended modal languages