Tableau Calculi for Preference-Based Conditional Logics.

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind

Browse the full TABLEAUX paper archive.