Dekker PM. KD45 with Propositional Quantifiers. LLP [Internet]. 2023 Aug. 24 [cited 2024 Jul. 27];33(1):27-54. Available from: https://apcz.umk.pl/LLP/article/view/39253