Combinatorial Proofs for Constructive Modal Logic.

Matteo Acclavio, Lutz Straburger

Browse the full AiML paper archive.