Terminating Calculi and Countermodels for Constructive Modal Logics.

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti

Browse the full TABLEAUX paper archive.