Author:Dmitry Tishkovsky
KeyphrasesDynamic Epistemic Logic of Questions, Interrogative Epistemic Logic, logic, Mettel2, system description, tableau calculus, tableau decision procedure, tableau prover generator, tableau synthesis framework. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |