Decision procedures for Lewis' system S1 and related modal systems
From MaRDI portal
Publication:2535236
DOI10.1305/ndjfl/1093893934zbMath0182.00601OpenAlexW2022996512MaRDI QIDQ2535236
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093893934
Related Items
Modal logics in the vicinity of S1 ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ C. I. Lewis's intensional semantics
This page was built for publication: Decision procedures for Lewis' system S1 and related modal systems