Dekker, P.M. 2023. KD45 with Propositional Quantifiers. Logic and Logical Philosophy. 33, 1 (Aug. 2023), 27–54. DOI:https://doi.org/10.12775/LLP.2023.018.