On Some Completeness Theorems in Modal Logic
Author:
- 1 January 1966
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 12 (1) , 379-384
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Relative necessityThe Journal of Symbolic Logic, 1963
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- H. Rasiowa and R. Sikorski. 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