Concerning the proper axiom for S4.04 and some related systems
From MaRDI portal
Publication:2560223
DOI10.1305/ndjfl/1093891006zbMath0259.02014OpenAlexW1965621809WikidataQ114598244 ScholiaQ114598244MaRDI QIDQ2560223
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891006
This page was built for publication: Concerning the proper axiom for S4.04 and some related systems