The deducibilities of S5

DOI10.1007/BF00248735zbMath0475.03005MaRDI QIDQ1159660

Jean Porte

Publication date: 1981

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modalitydeduction theoremstructural completenessdeducibility

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

A criterion for admissibility of rules in the modal system S4 and intuitionistic logic ⋮ Admissible inference rules and semantic property of modal logics ⋮ 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 ⋮ An intriguing logic with two implicational connectives ⋮ Admissible rules for logics containing S4.3

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

This page was built for publication: The deducibilities of S5