References

• [BdRV01] Patrick Blackburn, Maarten de Rijke, Yde Venema. Modal Logic. Number 53. Cambridge University Press, 2001. URL: https://www.mlbook.org. [1] [2]
• [Bor88] Manfred Borzechowski. Tableau-Kalkül für PDL und Interpolation. 1988. Translation by Malvin Gattinger (2020). URL: https://malv.in/2020/borzechowski-pdl/. [1]
• [DB18] Christian Doczkal, Joachim Bard. Completeness and decidability of converse PDL in the constructive type theory of Coq. In CPP 2018, 42–52. Jan 2018. See also https://github.com/coq-community/comp-dec-modal. URL: https://doi.org/10.1145/3167088. [1]
• [FL79] Michael J. Fischer, Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2):194–211, 1979. URL: https://doi.org/10.1016/0022-0000(79)90046-1. [1]
• [HKT00] David Harel, Dexter Kozen, Jerzy Tiuryn. Dynamic Logic. MIT Press, 2000. [1] [2] [3] [4]