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