Skip navigation
Skip navigation

Optimal tableaux for conditional logics with cautious monotonicity

Schröder , Lutz; Pattinson, Dirk; Hausmann, D.

Description

Conditional logics capture default entailment in a modal framework in which non-monotonic implication is a first-class citizen, and in particular can be negated and nested. There is a wide range of axiomatizations of conditionals in the literature, from weak systems such as the basic conditional logic CK, which allows only for equivalent exchange of conditional antecedents, to strong systems such as Burgess' system, which imposes the full Kraus-Lehmann-Magidor properties of preferential logic....[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/84694
Source: Frontiers in Artificial Intelligence and Applications
DOI: 10.3233/978-1-60750-606-5-707

Download

File Description SizeFormat Image
01_Schröder _Optimal_tableaux_for_2010.pdf220 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator