Modular Focused Proof Systems for Intuitionistic Modal Logics.

Kaustuv Chaudhuri Sonia Marin Lutz Straßburger

Published in: FSCD (2016)

Keyphrases

modal logic
decision procedures
linear logic
theorem prover
classical logic
inference rules
temporal logic
cooperative
theorem proving
nonmonotonic logics