scientific article; zbMATH DE number 1989656

zbMath1031.03034MaRDI QIDQ4430403

Colin Hirsch, Stephan Tobies

Publication date: 9 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (3)

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 ⋮ A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities

This page was built for publication: