Proof of L-decidability of Lewis system S5

DOI10.1007/BF02123824zbMath0313.02012OpenAlexW2085109114MaRDI QIDQ1219801

Grzegorz Bryll, Jerzy Słupecki

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123824

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items

Refutation systems in modal logic ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Which modal logic is the right one? ⋮ The method of axiomatic rejection for the intuitionistic propositional logic

Cites Work

• Theory of rejected propositions. I
• Ein erweiterter Klassenkalkül
• Unnamed Item
• Unnamed Item
• Unnamed Item