Resolution Calculi for Non-normal Modal Logics.

Dirk Pattinson, Nicola Olivetti, Cludia Nalon

Browse the full TABLEAUX paper archive.