Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics.

Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky

Browse the full CADE paper archive.