A contribution to the axiomatization of Lewis' system S5

DOI10.1305/NDJFL/1093957059zbMath0113.00502OpenAlexW2017765338MaRDI QIDQ1131506

Boleslaw Sobocinski

Publication date: 1962

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957059

zbMATH Keywords

mathematical logic

Related Items (4)

Lemmon-style bases for the systems S1°-S4° ⋮ The semisubstitutivity of strict implication ⋮ Replacement in some modal systems ⋮ Decision procedures for S3∘ and S4∘

This page was built for publication: A contribution to the axiomatization of Lewis' system S5