Dekker, P. M. “KD45 With Propositional Quantifiers”. Logic and Logical Philosophy, vol. 33, no. 1, Aug. 2023, pp. 27-54, doi:10.12775/LLP.2023.018.