Completeness of Kozen's axiomatisation of the propositional μ-calculus

Information and Computation

Volumn 157, Issue 1-2, 2000, Pages 142-182

  Walukiewicz, Igor ^a,b,c  

^a DANISH NATIONAL RESEARCH FOUNDATION   (Denmark)

^b AARHUS UNIVERSITY   (Denmark)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL OPERATORS; THEOREM PROVING;

KOZEN'S AXIOMATISATION;

COMPUTATIONAL METHODS;

EID: 0034711982     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1999.2836     Document Type: Article

References (10)

1. Harel, D., Kozen, D., and Parikh, R. (1982), Process logic: Expressiveness, decidability and completeness, J. Comput. System Sci. 25, 144-201.
2. Janin, D., and Walukiewicz, I. (1995), Automata for the μ-calculus and related results, in "MFCS '95," Lecture Notes in Computer Science, Vol. 969, pp. 552-562, Springer-Verlag, Berlin.
3. Kaivola, R. (1995), Axiomatising linear time mu-calculus, in "CONCUR '95," Lecture Notes in Computer Sciences, Vol. 962, pp. 423-437, Springer-Verlag, Berlin.
4. Kozen, D. (1983), Results on the propositional mu-calculus, Theoret. Comput. Sci. 27, 333-354.
5. Kozen, D. (1988), A finite model theorem for the propositional μ-calculus, Studia Logica 47, (3) 234-241.
6. Mostowski, A. W. (1984), Regular expressions for infinite trees and a standard form of automata, in "Fifth Symposium on Computation Theory" (A. Skowron, Ed.), Lecture Notes in Computer Science, Vol. 208, pp. 157-168, Springer-Verlag, Berlin.
7. Niwiński, D., and Walukiewicz, I. (February 1994), Games for μ-calculus, Technical Report, TR 94-03(192), Institute of Informatics, Warsav University. To appear in Theoret. Comput. Sci. Available from: http://www.daimi.aau.dk/igw/home.html.
8. Stirling, C. S., and Walker, D. J. (1991), Local model checking in the modal mu-calculus, Theoret. Comput. Sci. 89, 161-171.
9. Streett, R. S., and Emerson, E. A. (1989), An automata theoretic procedure for the propositional mu-calculus, Inform. and Comput. 81, 249-264.
10. Walukiewicz, I. (1993), On completeness of the μ-calculus, in "LICS '93," pp. 136-146.