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.

: 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.

here to obtain the paper in PDF format.

Peter Roeper

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