Proof of L-decidability of Lewis system S5
From MaRDI portal
Publication:1219801
DOI10.1007/BF02123824zbMath0313.02012MaRDI QIDQ1219801
Grzegorz Bryll, Jerzy Słupecki
Publication date: 1973
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Related Items
Rejection in Łukasiewicz’s and Słupecki’s Sense, Which modal logic is the right one?, Admissibility and refutation: some characterisations of intermediate logics, The method of axiomatic rejection for the intuitionistic propositional logic, Refutation systems in modal logic
Cites Work