Author:
Gutsfeld Jens Oliver,Müller-Olm Markus,Dielitz Christian
Funder
Deutsche Forschungsgemeinschaft
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. Temporal logic can be more expressive;Wolper;Inf. Control,1983
2. Propositional dynamic logic of regular programs;Fischer;J. Comput. Syst. Sci.,1979
3. Model checking propositional dynamic logic with all extras;Lange;J. Appl. Log.,2006
4. Results on the propositional mu-calculus;Kozen;Theor. Comput. Sci.,1983
5. On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic;Janin,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献