Dekker, P. M. (2023) “KD45 with Propositional Quantifiers”, Logic and Logical Philosophy, 33(1), pp. 27–54. doi: 10.12775/LLP.2023.018.