Labelled natural deduction for conditional logics of normality

K Broda, D M Gabbay, L C Lamb, A M Russo

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)123 - 163
Number of pages41
JournalLOGIC JOURNAL- IGPL
Volume10
Issue number2
DOIs
Publication statusPublished - 2002

Fingerprint

Dive into the research topics of 'Labelled natural deduction for conditional logics of normality'. Together they form a unique fingerprint.

Cite this