Optimal tableaux for conditional logics with cautious monotonicity

DOI10.3233/978-1-60750-606-5-707MaRDI QIDQ2999206zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Dirk Pattinson, Daniel Hausmann

Publication date 11 May 2011

Full work available at URL https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#SchroderPH10

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20) Logic in artificial intelligence (68T27)

Recommendations

• Tableau calculi for preference-based conditional logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• Conditional logic \(C _{b }\) and its tableau system
• Analytic Tableaux for KLM Preferential and Cumulative Logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Cited in

(15)

• CoLoSS
• Embedding and automating conditional logics in classical higher-order logic
• A discrete duality between nonmonotonic consequence relations and convex geometries
• Nested sequent calculi for conditional logics
• Sequent Systems for Lewis’ Conditional Logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• Conditional logic \(C _{b }\) and its tableau system
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
• Adaptively applying modus ponens in conditional logics of normality
• Tableau calculi for preference-based conditional logics
• A proof-theoretic view of basic intuitionistic conditional logic
• GL-based calculi for PCL and its deontic cousin
• Uniform Lyndon interpolation for basic non-normal modal and conditional logics
• Sequents vs hypersequents for Åqvist systems

This page was built for publication: Optimal tableaux for conditional logics with cautious monotonicity

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