Game Semantics for Constructive Modal Logic.

Matteo Acclavio, Davide Catta, Lutz Straburger

Browse the full TABLEAUX paper archive.