A general framework for pattern-driven modal tableaux

DOI10.1093/JIGPAL/10.1.51MaRDI QIDQ4532364zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro, Olivier Gasquet

Publication date 13 November 2002

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/10.1.51

zbMATH Keywords

bimodal logicmodal logicpropagation of formulastableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1267561
• Strongly analytic tableaux for normal modal logics
• Minimal structures for modal tableaux: Some examples
• scientific article; zbMATH DE number 1435945
• Modal tableaux: completeness vs. termination

Cited in

(11)

• A new methodology for developing deduction methods
• Deciding regular grammar logics with converse through first-order logic
• Fibred modal tableaux
• A tableau calculus for minimal modal model generation
• Minimal structures for modal tableaux: Some examples
• Simulation and synthesis of deduction calculi
• Kripke's worlds. An introduction to modal logics via tableaux
• scientific article; zbMATH DE number 1267561 (Why is no real title available?)
• scientific article; zbMATH DE number 1435945 (Why is no real title available?)
• Using tableau to decide description logics with full role negation and identity
• A tableau method for graded intersections of modalities: A case for concept languages

Describes a project that uses

Uses Software

• PVS

This page was built for publication: A general framework for pattern-driven modal tableaux

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