Publisher
Springer Nature Switzerland
Reference40 articles.
1. Segerberg, K.: A completeness theorem in the modal logic of programs. Notices AMS 24(6), A-522, no. 77T-E69 (1977)
2. Kozen, D., Parikh, R.: Note. An elementary proof of the completeness of PDL. Theor. Comput. Sci. 14, 113–118 (1981). https://doi.org/10.1016/0304-3975(81)90019-0
3. Fischer, M.J., Ladner, R.E.: Propositional modal logic of programs. J. Comput. Syst. Sci. 18, 194–211 (1979)
4. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)
5. Hintikka, J.K.K.: Knowledge and Belief. Cornell University Press, Ithaca (1962)