HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).

Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato

Browse the full CADE paper archive.