Interpolation and definability in guarded fragments

DOI10.1023/A:1015154431342MaRDI QIDQ1604801zbMATH OpenOpenAlexFDO

Authors 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

Beth definability propertybisimulationCraig interpolation propertyfinite-variable fragmentfragment of first-order logicguarded fragmentmodal logicpacked fragmentrelativized quantifiers

Mathematics Subject Classification ID

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

Recommendations

• Publication:4938431
• On the Restraining Power of Guards
• Effective interpolation and preservation in guarded logics
• Effective interpolation and preservation in guarded logics
• Bisimulation quantifiers and uniform interpolation for guarded first order logic

Cited in

(17)

• 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
• Effective interpolation and preservation in guarded logics
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• scientific article; zbMATH DE number 1405456 (Why is no real title available?)
• Effective interpolation and preservation in guarded logics
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• Querying the Guarded Fragment
• 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
• Craig interpolation for decidable first-order fragments
• Craig interpolation for decidable first-order fragments

This page was built for publication: Interpolation and definability in guarded fragments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1604801)