Published in: Open Access 28-08-2018 Semantics of Mizar as an Isabelle Object Logic Authors: Cezary Kaliszyk, Karol Pąk Published in: Journal of Automated Reasoning | Issue 3/2019 Read the PDF-Version of this Article. loading … previous article A PSpace Algorithm for Acyclic Epistemic DL next article Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF download DOWNLOAD print PRINT