On Some Completeness Theorems in Modal Logic
- 1 January 1966
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 12 (1), 379-384
- https://doi.org/10.1002/malq.19660120131
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Relative necessityThe Journal of Symbolic Logic, 1963
- Rasiowa H. and Sikorski R.. A proof of the completeness theorem of Gödel. Fundamenta mathemalicae, vol. 37 (for 1950, pub. 1951), pp. 193–200.The Journal of Symbolic Logic, 1952
- A proof of the completeness theorem of GrödelFundamenta Mathematicae, 1950