A focused framework for emulating modal proof systems.

Sonia Marin, Dale Miller, Marco Volpe

Browse the full AiML paper archive.