scientific article; zbMATH DE number 1989656

MaRDI QIDQ4430403zbMATH OpenFDO

Authors Colin Hirsch, Stephan Tobies

Publication date 9 October 2003

zbMATH Keywords

satisfiabilitytableau algorithmclique guarded fragmentgeneralised tree model property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• scientific article; zbMATH DE number 1950259
• On the Restraining Power of Guards
• scientific article; zbMATH DE number 1341606
• Guarded negation
• Guarded fixed point logics and the monadic theory of countable trees.

Cited in

(4)

• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
• scientific article; zbMATH DE number 1950259 (Why is no real title available?)
• A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders

This page was built for publication:

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