Download PDFOpen PDF in browserSynthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics15 pages•Published: August 19, 2013AbstractThis paper presents two tableau provers for deciding interrogative-epistemic logics. They are both based on a tableau calculus generated using a recently introduced tableau synthesis framework. We have implemented the calculus using two approaches, namely Mettel2 and Qtab Here, we describe and compare these different approaches of implementing a tableau procedure.Keyphrases: Dynamic Epistemic Logic of Questions, Interrogative Epistemic Logic, Mettel2, tableau synthesis framework In: Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning, vol 21, pages 109--123
|