A general proof certification framework for modal logic.

Tomer Libal Marco Volpe

Published in: CoRR (2018)

Keyphrases

modal logic
decision procedures
temporal logic
general theory
multi agent systems
special case
third party
inference rules
knowledge base
theorem prover
dynamic logic