Canonicity of Proofs in Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Federico Olimpieri

Browse the full TABLEAUX paper archive.