Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.

Han Gao, Nicola Olivetti

Browse the full WoLLIC paper archive.