A Sequent Formulation of Conditional LogicBased on Belief Change Operations


Peter Roeper

[Back to paper list] [Start page] [Alphabetical index]

Keywords: Conditional logic, Sequent logic, Ramsey test, Belief revision, Expansion.


Abstract
: Peter Gärdenfors has developed a semantics for conditional logic, based on the operations of expansion and revision of states of information. A conditional is declared accepted in a state of information K if its consequent is accepted in the state of information which is the result of revising K with respect to its antecedent. Extending this approach, I propose a semantics entirely based on epistemic states and operations on these states. The semantics is accompanied by a syntactic treatment of conditional logic which is formally similar to Gentzen's sequent formulation of natural deduction.


Click
here to obtain the paper in PDF format.


Peter Roeper
http://online.anu.edu.au/philosophy/academic/roeper.htm


Spinning Ideas, Electronic Essays
Dedicated to Peter Gärdenfors on His Fiftieth Birthday