Focused Labeled Proof Systems for Modal Logic.

Dale Miller, Marco Volpe

Browse the full LPAR paper archive.