A uniform tableaux method for nonmonotonic modal logics

DOI10.1007/3-540-61630-6_6MaRDI QIDQ5235255zbMATH OpenOpenAlexFDO

Authors F. M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati

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

default logicground logicKripke modelmodal logicnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• scientific article; zbMATH DE number 589742
• Tableau calculi for preference-based conditional logics
• scientific article; zbMATH DE number 1538059
• Uniform and non uniform strategies for tableaux calculi for modal logics

Cites work

• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• A guide to completeness and complexity for modal logics of knowledge and belief
• A proof theoretical approach to default reasoning I: tableaux for default logic
• A tableaux-based theorem prover for a decidable subset of default logic
• Ground Nonmonotonic Modal Logics
• scientific article; zbMATH DE number 3930375 (Why is no real title available?)
• scientific article; zbMATH DE number 4075021 (Why is no real title available?)
• scientific article; zbMATH DE number 97792 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 589742 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Minimal knowledge problem: A new approach
• Modal nonmonotonic logics
• Non-monotonic logic. I
• Nonmonotonic default modal logics
• Nonmonotonic Logic II
• NP trees and Carnap's modal logic
• On the relation between default and autoepistemic logic
• Proof methods for modal and intuitionistic logics
• Semantical considerations on nonmonotonic logic
• Strongly analytic tableaux for normal modal logics
• Tableaux and sequent calculus for minimal entailment
• TABLEAUX: A general theorem prover for modal logics

Cited in

(8)

• scientific article; zbMATH DE number 1612562 (Why is no real title available?)
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• scientific article; zbMATH DE number 51460 (Why is no real title available?)
• scientific article; zbMATH DE number 589742 (Why is no real title available?)
• scientific article; zbMATH DE number 1538059 (Why is no real title available?)
• Uniform and non uniform strategies for tableaux calculi for modal logics
• Tableau calculi for preference-based conditional logics
• Tableaux and sequent calculus for minimal entailment

Describes a project that uses

Uses Software

• TABLEAUX

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

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