The deducibilities of S5
From MaRDI portal
Publication:1159660
DOI10.1007/BF00248735zbMath0475.03005MaRDI QIDQ1159660
Publication date: 1981
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
Related Items
An intriguing logic with two implicational connectives, Admissible rules for logics containing S4.3, A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on deduction theorem for Gödel's propositional calculus G4
- A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi
- Untersuchungen über das logische Schliessen. I
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
- Über die Regeln des Aussagenkalküls
- Extendible sentential calculus
- Ein erweiterter Klassenkalkül
- The independence of connectives
- Note on Rules of Inference
- Algebraic semantics for modal logics I
- On the scope of the classical deduction theorem
- Some theorems about the sentential calculi of Lewis and Heyting
- Extensions of the Lewis system S5
- Modalities and Quantification