Title: Conditional and Preferential Logics
Subjects: Logic, symbolic and mathematical, Proof theory