A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.

Sara Negri, Nicola Olivetti

Browse the full TABLEAUX paper archive.