DEKKER, P. Maurice. KD45 with Propositional Quantifiers. Logic and Logical Philosophy. Online. 24 August 2023. Vol. 33, no. 1, pp. 27-54. [Accessed 21 January 2025]. DOI 10.12775/LLP.2023.018.