The completeness of S1 and some related systems

DOI10.1305/ndjfl/1093890710zbMath0206.00701OpenAlexW2006578955MaRDI QIDQ2542502

M. J. Cresswell

Publication date: 1972

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

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

Mathematics Subject Classification ID

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

Related Items (3)

Australasian Association for Logic George Hughes Memorial Conference ⋮ Mathematical modal logic: A view of its evolution ⋮ A deontic counterpart of Lewis's S1

This page was built for publication: The completeness of S1 and some related systems