Conditional logic C _b and its tableau system

DOI10.1007/978-3-642-22221-4_13MaRDI QIDQ3010347zbMATH OpenOpenAlexFDO

Authors Yuri Ozaki, Daisuke Bekki

Publication date 1 July 2011

Published in Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22221-4_13

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Optimal tableaux for conditional logics with cautious monotonicity
• Tableau calculi for preference-based conditional logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• scientific article; zbMATH DE number 4160691
• A Gentzen system for conditional logic

Cited in

(5)

• Optimal tableaux for conditional logics with cautious monotonicity
• Non-analytic tableaux for Chellas's conditional logic CK and Lewis's logic of counterfactuals VC
• Conditional and preferential logics. Proof methods and theorem proving.
• scientific article; zbMATH DE number 753776 (Why is no real title available?)
• THE LOGIC OF THE EVIDENTIAL CONDITIONAL

This page was built for publication: Conditional logic \(C _{b }\) and its tableau system

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