Optimal Tableaux for Conditional Logics with Cautious Monotonicity
From MaRDI portal
Publication:2999206
DOI10.3233/978-1-60750-606-5-707zbMath1211.68413OpenAlexW2158393282MaRDI QIDQ2999206
Daniel Hausmann, Lutz Schröder, Dirk Pattinson
Publication date: 11 May 2011
Full work available at URL: https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#SchroderPH10
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)
Related Items (7)
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ Embedding and automating conditional logics in classical higher-order logic ⋮ CoLoSS
This page was built for publication: Optimal Tableaux for Conditional Logics with Cautious Monotonicity
