A Tableau Calculus for Minimal Modal Model Generation

DOI10.1016/j.entcs.2011.10.013zbMath1347.03048OpenAlexW1998304852WikidataQ113318193 ScholiaQ113318193MaRDI QIDQ2825415

Fabio Papacchini, Renate A. Schmidt

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.013

zbMATH Keywords

modal logicmodel generationtableaux calculusminimal model generation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items

Blocking and other enhancements for bottom-up model generation methods, A Tableau Calculus for Minimal Modal Model Generation, Efficient SAT-based minimal model generation methods for modal logic S5

Cites Work

• Unnamed Item
• A theory of diagnosis from first principles
• Circumscription - a form of non-monotonic reasoning
• A tableau prover for domain minimization
• Positive unit hyperresolution tableaux and their application to minimal model generation
• Using resolution for testing modal satisfiability and building models
• A Tableau Calculus for Minimal Modal Model Generation
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
• Reasoning about Typicality in Preferential Description Logics
• The Complexity of Circumscription in DLs
• Resolution-based methods for modal logics
• Tableaux for diagnosis applications
• A tableau calculus for minimal model reasoning