Nested Sequent Calculi for Conditional Logics.

Rgis Alenda, Nicola Olivetti, Gian Luca Pozzato

Browse the full JELIA paper archive.