Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky. Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. In Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, editors, Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. Volume 21 of EPiC Series, pages 109-123, EasyChair, 2012. [doi]
Abstract is missing.