The deducibilities of S5
From MaRDI portal
Cites work
- A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi
- A note on deduction theorem for Gödel's propositional calculus G4
- Algebraic semantics for modal logics I
- Ein erweiterter Klassenkalkül
- Extendible sentential calculus
- Extensions of the Lewis system S5
- scientific article; zbMATH DE number 3131078 (Why is no real title available?)
- scientific article; zbMATH DE number 3154783 (Why is no real title available?)
- scientific article; zbMATH DE number 3339356 (Why is no real title available?)
- scientific article; zbMATH DE number 3363517 (Why is no real title available?)
- scientific article; zbMATH DE number 3378906 (Why is no real title available?)
- scientific article; zbMATH DE number 3188491 (Why is no real title available?)
- Modalities and Quantification
- Note on Rules of Inference
- On the scope of the classical deduction theorem
- Some theorems about the sentential calculi of Lewis and Heyting
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
- The independence of connectives
- Untersuchungen über das logische Schliessen. I
- Über die Regeln des Aussagenkalküls
Cited in
(10)- Admissible rules for logics containing S4.3
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Description of modal logics which enjoy co-cover property
- Varieties of Relevant S5
- Admissible inference rules of modal WCP-logics
- An explicit basis for \textit{WCP}-globally admissible inference rules
- About the unification types of modal logics
- Decidability of global admissibility of inference rules in logic S4
- An intriguing logic with two implicational connectives
- Admissible inference rules and semantic property of modal logics
This page was built for publication: The deducibilities of S5
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159660)
