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