HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dmitry Tishkovsky

Publications
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform
Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
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, logic, Mettel2, system description, tableau calculus, tableau decision procedure, tableau prover generator, tableau synthesis framework.

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