Guarded fragments with constants

DOI10.1007/S10849-005-5787-XzbMATH Open1080.03002OpenAlexW2086015611MaRDI QIDQ2567342FDOQ2567342

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

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

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)

Cites Work

• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• Interpolation for extended modal languages
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• On the Restraining Power of Guards
• Interpolation and definability in guarded fragments
• Guarded fragments with constants
• 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)