A Tableau Calculus for Minimal Modal Model Generation
From MaRDI portal
Publication:2825415
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
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