Conditional logic is a kind of modal logic for analyzing the truth conditions and inferences of conditional sentences in natural language. However, it has been pointed out in the literature that empirical problems plague all of the previously proposed conditional logics. Moreover, C 1 and C 2 are defined by imposing certain restrictions on their Kripke frames, and there exist no corresponding proof systems. In order to solve these problems, we propose a new system of conditional logic, which we call C b . C b is an extension of C ∈+∈ through the addition of new rules on accessibility, and it has a corresponding tableau system. We show that C b has empirical advantages over C 1 and C 2 as a model of inference in natural language, and compare it with other proof systems of conditional logic. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ozaki, Y., & Bekki, D. (2011). Conditional logic c b and its tableau system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6736 LNAI, pp. 190–204). https://doi.org/10.1007/978-3-642-22221-4_13
Mendeley helps you to discover research relevant for your work.