Guarded fragments with constants

DOI10.1007/S10849-005-5787-XMaRDI QIDQ2567342zbMATH OpenOpenAlexFDO

Authors Balder ten Cate, Massimo Franceschet

Publication date 4 October 2005

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-005-5787-x

zbMATH Keywords

complexitysatisfiabilityhybrid logicguarded fragment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• On the Restraining Power of Guards
• Computer Science Logic
• The guarded fragment with transitive guards
• Complexity of monodic guarded fragments over linear and real time
• Guards, bounds, and generalized semantics

Cites work

• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Guarded fragments with constants
• Interpolation and definability in guarded fragments
• Interpolation for extended modal languages
• Modal languages and bounded fragments of predicate logic
• On the Restraining Power of Guards
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Tolerance logic

Cited in

(6)

• Guarded fragments with constants
• Querying the Guarded Fragment
• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
• Complexity of hybrid logics over transitive frames
• A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
• Loosely guarded fragment of first-order logic has the finite model property

This page was built for publication: Guarded fragments with constants

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