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.
|