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