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