Concerning the proper axiom for $S4.04$ and some related systems.
Open Access
- 1 July 1973
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 14 (3) , 392-396
- https://doi.org/10.1305/ndjfl/1093891006
Abstract
Project Euclid - mathematics and statistics onlineThis publication has 0 references indexed in Scilit: