A uniform tableaux method for nonmonotonic modal logics

DOI10.1007/3-540-61630-6_6zbMath1427.03037OpenAlexW1552192642MaRDI QIDQ5235255

Riccardo Rosati, Francesco M. Donini, Fabio Massacci, Daniele Nardi

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_6

zbMATH Keywords

modal logicdefault logicKripke modelnonmonotonic reasoningground logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Uses Software

• TABLEAUX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tableaux and sequent calculus for minimal entailment
• Proof methods for modal and intuitionistic logics
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Non-monotonic logic. I
• TABLEAUX: A general theorem prover for modal logics
• A guide to completeness and complexity for modal logics of knowledge and belief
• Minimal knowledge problem: A new approach
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Nonmonotonic Logic II
• Modal nonmonotonic logics
• Nonmonotonic default modal logics
• Ground Nonmonotonic Modal Logics
• NP trees and Carnap's modal logic
• A proof theoretical approach to default reasoning I: tableaux for default logic
• Strongly analytic tableaux for normal modal logics

This page was built for publication: A uniform tableaux method for nonmonotonic modal logics