scientific article; zbMATH DE number 1989656

zbMATH Open1031.03034MaRDI QIDQ4430403FDOQ4430403

Authors: Colin Hirsch, Stephan Tobies 

Publication date: 9 October 2003

Title of this publication is not available (Why is that?)

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.

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)

Cited In (4)

• Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
• Title not available (Why is that?)
• A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities

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)