Keyword:propositional dynamic logic

Publications
Symbolic Realisation of Epistemic Processes Rolf Hennicker, Alexander Knapp and Martin Wirsing In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Comparison of Solvers for Propositional Dynamic Logic Ullrich Hustadt and Renate A. Schmidt In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning