Provability Games for Non-classical Logics.

Alexandra Pavlova

Browse the full WoLLIC paper archive.