The Undecidability of Monadic Modal Quantification Theory
- 1 January 1962
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 8 (2) , 113-116
- https://doi.org/10.1002/malq.19620080204
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959