The deducibilities of S5
type: Item
instance of: scholarly article
title: The deducibilities of S5
zbMATH Open document ID: 0475.03005
DOI: 10.1007/BF00248735
published in: Journal of Philosophical Logic
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3745128
zbMATH Keywords: deducibility
zbMATH Keywords: structural completeness
zbMATH Keywords: modality
zbMATH Keywords: deduction theorem
author: Jean Porte
MaRDI profile type: Publication
cites work: Modalities and Quantification
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q3247123
cites work: Extendible sentential calculus
cites work: A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi
cites work: Algebraic semantics for modal logics I
cites work: Some theorems about the sentential calculi of Lewis and Heyting
cites work: On the scope of the classical deduction theorem
cites work: Q5616120
cites work: Q3272462
cites work: Q5724769
cites work: Q5650677
cites work: Q5636854
cites work: Extensions of the Lewis system S5
cites work: Über die Regeln des Aussagenkalküls
cites work: The independence of connectives
cites work: The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
cites work: Ein erweiterter Klassenkalkül
cites work: Note on Rules of Inference
cites work: A note on deduction theorem for Gödel's propositional calculus G4
description: scientific article; zbMATH DE number 3745128