A sequent formulation of conditional logic based on belief change operations (Q1770597)

The author gives an account of conditional propositions in terms of belief revision and the Ramsey test. The construction is based on that of \textit{Peter Gärdenfors} in Chapter 7 of his book [Knowledge in flux. Cambridge, MA: MIT Press (1988)], but with classical connectives regulated by acceptance conditions (i.e. rules for their acceptability in a belief state) rather than by truth conditions. He then presents Gentzen systems for several logics constructed in this way, proves appropriate soundness and completeness theorems, and shows that the Hilbertian versions of these systems coincide with certain well-known conditional logics.