An incomplete logic containing S4
- 1 April 1974
- Vol. 40 (1), 23-29
- https://doi.org/10.1111/j.1755-2567.1974.tb00076.x
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- An incompleteness theorem in modal logicTheoria, 1974