Dekker, P. Maurice. 2023. “KD45 With Propositional Quantifiers”. Logic and Logical Philosophy 33 (1):27-54. https://doi.org/10.12775/LLP.2023.018.