Reduction of second‐order logic to modal logic
- 1 January 1975
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 21 (1) , 107-114
- https://doi.org/10.1002/malq.19750210114
Abstract
No abstract availableFunding Information
- NSF (GP-24532)
This publication has 2 references indexed in Scilit:
- Reduction of tense logic to modal logic. IThe Journal of Symbolic Logic, 1974
- Noncompactness in propositional modal logicThe Journal of Symbolic Logic, 1972