HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefan Minica

Publications
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning

Keyphrases

Dynamic Epistemic Logic of Questions, Interrogative Epistemic Logic, Mettel2, tableau synthesis framework.

Copyright © 2012-2025 easychair.org. All rights reserved.