Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
2. Kamp, H.: Tense Logic and the Theory of Linear Order. PhD thesis, University of Califormia, Los Angeles (1968)
3. Goranko, V., Passy, S.: Using the universal modality: Gains and questions. Journal of Logic and Computation 2(1), 5–30 (1992)
4. de Rijke, M.: The modal logic of inequality. Journal of Symbolic Logic 57, 566–584 (1992)
5. Kozen, D.: Results on the propositional μ-calculus. Theoretical Computer Science 27(3), 333–354 (1983)