Section: New Results
Certification of Prefixed Tableau Proofs for Modal Logic
Participants : Tomer Libal, Marco Volpe.
This work  describes the theory and implementation of a proof checker for tableau theorem provers for modal logics. The tool supports proofs in both the traditional tableau format as well as the free variable variant. The implentation can be found at https://github.com/proofcert/checkers under the gandalf2016 branch.