Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics

@article{Olivetti2013NestedSC,
  title={Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics},
  author={Nicola Olivetti and Gian Luca Pozzato},
  journal={Intelligenza Artificiale},
  year={2013},
  volume={9},
  pages={109-125}
}
In this paper we focus on proof methods and theorem proving for normal conditional logics, by describing nested sequent calculi as well as a theorem prover for them. Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably employed in the area of (multi)-modal logic to obtain analytic and modular proof systems for these logics. In this work, we describe nested sequent calculi… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…