Abstract
We propose a family of Labelled Deductive Conditional Logic systems (LDCL) by defining a Labelled Deductive formalisation for the propositional conditional logics of normality proposed by Boutilier and Lamarre. By making use of the Compilation approach to Labelled Deductive Systems (CLDS) we define natural deduction rules for conditional logics and prove that our formalisation is a generalisation of the conditional logics of normality.
Original language | English |
---|---|
Pages (from-to) | 123 - 163 |
Number of pages | 41 |
Journal | LOGIC JOURNAL- IGPL |
Volume | 10 |
Issue number | 2 |
DOIs | |
Publication status | Published - 2002 |