Dekker, P. Maurice. “KD45 With Propositional Quantifiers”. Logic and Logical Philosophy 33, no. 1 (August 24, 2023): 27–54. Accessed February 25, 2024. https://apcz.umk.pl/LLP/article/view/39253.