A new extension of $S4$.
Open Access
- 1 October 1973
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 14 (4) , 567-574
- https://doi.org/10.1305/ndjfl/1093891112
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: