Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

Tiziano Dalmonte, Bjrn Lellmann, Nicola Olivetti, Elaine Pimentel

Browse the full LFCS paper archive.