Minimal structures for modal tableaux: Some examples

DOI10.12775/LLP.2000.007MaRDI QIDQ3149219zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro, Olivier Gasquet

Publication date 12 November 2002

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2000.007

zbMATH Keywords

decision proceduresmodal logicmultimodal logicsrooted directed acyclic graphstableau calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1435945
• A general framework for pattern-driven modal tableaux
• Strongly analytic tableaux for normal modal logics
• scientific article; zbMATH DE number 1267561
• Hybrid tableaux for the difference modality

Cited in

(7)

• Deciding regular grammar logics with converse through first-order logic
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
• A tableau calculus for minimal modal model generation
• scientific article; zbMATH DE number 1267561 (Why is no real title available?)
• scientific article; zbMATH DE number 1950257 (Why is no real title available?)
• A general framework for pattern-driven modal tableaux
• scientific article; zbMATH DE number 1435945 (Why is no real title available?)

This page was built for publication: Minimal structures for modal tableaux: Some examples

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