Duality for modal μ-logics

Theoretical Computer Science

Volumn 202, Issue 1-2, 1998, Pages 193-222

  Hartonas, Chrysafis ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0013230132     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00233-8     Document Type: Article

References (39)

1. S. Abramsky, Domain theory in logical form, Ann. Pure Appl. Logic 51 (1991) 1-77.
2. S. Abramsky, A domain equation for bisimulation, Inform. and Comput. 92 (2) (1991) 161-213.
3. S. Ambler, M.Z. Kwiatkowska, N. Measor, Duality and the completeness of the modal Mu-calculus, Theoret. Comput. Sci. 151 (1995) 3-27.
4. R. Balbes, P. Dwinger, Distributive Lattices, The University of Missouri Press, Columbia, MO, 1974.
5. M.M. Bonsangue, M.Z. Kwiatkowska, Re-interpreting the modal μ-calculus, in: A. Ponse, M. van Rijke, Y. Venema (Eds.), Modal Logic and Process Algebra, CSLI Lecture Notes, Stanford University Press, Stanford, 1995, pp. 65-83.
6. M.F. Dam, Relevance logic and concurrent composition, Proc. 3rd Annual Symp. on Logic in Computer Science, 1988, pp. 178-185.
7. M.F. Dam, Relevance logic and concurrent composition, Ph.D. Thesis, Dept. of Computer Science, University of Edinburgh, CST-66-90.
8. B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge Mathematics Textbooks, Cambridge University Press, Cambridge, 1990.
9. J.M. Dunn, Relevance logic and entailment, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic 3 (1986) 117-224.
10. J.M. Dunn, Positive modal logic. Studia Logica 55 (1995) 301-317.
11. R.I. Goldblatt, Metamathematies of Modal Logic I, II, Reports on Mathematical Logic 6 (1976) 41-78; and 7 (1976) 21-52
12. R.I. Goldblatt, Metamathematies of Modal Logic I, II, Reports on Mathematical Logic 6 (1976) 41-78; and 7 (1976) 21-52
13. R.I. Goldblatt, Varieties of complex algebras, Ann. Pure Appl. Logic 44 (1989) 173-242.
14. P.R. Halmos, Algebraic Logic, Chelsea, New York, 1962.
15. P.R. Halmos, Lectures on Boolean Algebras, D. Van Nostrand Company, INC, Toronto, 1967 (reprinted from the 1963 edition).
16. G. Hansoul, A duality for Boolean algebra with operators, Algebra Universalis 17 (1983) 37-49.
17. C. Hartonas, Duality for lattice-ordered algebras and normal algebraizable logics, Studia Logiea 58(3) (1997) 403-450.
18. C. Hartonas, Semantics for finite delay, Theoret. Comput. Sci. 176 (1997) 205-234.
19. C. Hartonas, A fixpoint approach to finite delay and fairness, Theoret. Comput. Sci., to appear.
20. B. Jonsson, A. Tarski, Boolean algebras with operators I, II, Am. J. Math. 73 (1951) 891-939; 74 (1952) 127-162.
21. B. Jonsson, A. Tarski, Boolean algebras with operators I, II, Am. J. Math. 73 (1951) 891-939; 74 (1952) 127-162.
22. D. Kozen, On the duality of dynamic algebras and Kripke models, in: E. Engeler (Ed.), Logics of Programms, Proceedings, Lecture Notes in Computer Science, vol. 125, Springer, Berlin, 1981.
23. D. Kozen, Results on the propositional μ-calculus, Theoret. Comput. Sci. 27 (1983) 333-354.
24. D. Kozen, A finite model theorem for the propositional μ-calculus, Studia Logica 47 (1988) 233-241.
25. K. Larsen, Proof systems for Hennessy-Milner logic with recursion, Lecture Notes in Computer Science, vol. 299, Springer, Berlin, 1988.
26. E.J. Lemmon, Algebraic semantics for modal logic I, II, J. Symbol. Logic 31 (1966) 46-65; 31 (1966) 191-218.
27. E.J. Lemmon, Algebraic semantics for modal logic I, II, J. Symbol. Logic 31 (1966) 46-65; 31 (1966) 191-218.
28. V.R. Pratt, A decidable μ-calculus, Proc. 22nd IEEE Symp. on Foundations of Computer Science, 1981, pp. 421-427.
29. H. Priestley, Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970) 186-190.
30. G. Sambin, V. Vaccaro, Topology and duality in modal logic, Ann. Pure Appl. Logic 37 (1988) 249-296.
31. R. Sikorski, Boolean Algebras, 3rd ed., Springer, Berlin, 1969.
32. C. Stirling, Modal and temporal logics, in: Handbook of Logic in Computer Science, vol. 4, Oxford Science Publ. Clarendon Press, Oxford, 1994.
33. C. Stirling, Modal logics for communicating systems, Theoret. Comput. Sci. 49 (1987) 311-347.
34. A. Urquhart, Distributive lattices with a dual homomorphic operation I, II, Studia Logica 38 (1979) 201-209; 40 (1982) 391-404.
35. A. Urquhart, Distributive lattices with a dual homomorphic operation I, II, Studia Logica 38 (1979) 201-209; 40 (1982) 391-404.
36. A. Urquhart, Duality for algebras of relevant logics. Manuscript, 1993.
37. S.J. Vickers, Topology via Logic, Cambridge University Press, Cambridge, 1989.
38. I. Walukiewicz, A complete deductive system for the μ-calculus, Proc. LICS, 1993.
39. I. Walukiewicz, Completeness of Kozen's axiomatization of the propositional μ-calculus, LICS '95.