Keyword:mu-calculus

Papers
Trace-based Deductive Verification Richard Bubel, Dilian Gurov, Reiner Hähnle and Marco Scaletta In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
BDD-based automated reasoning in propositional non-classical logics: progress report Rajeev Gore and Jimmy Thomson In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
A Proof System for Reasoning about Probabilistic Concurrent Processes Matteo Mio In:PSPL 2010. International Workshop on Proof Systems for Program Logics
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic Nikolay Shilov In:PSPL 2010. International Workshop on Proof Systems for Program Logics