Some Completeness Results for Modal Predicate Calculi
- 1 January 1970
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Abstraction in First‐Order Modal Logic1Theoria, 1968
- On the strong semantical completeness of the intuitionistic predicate calculusThe Journal of Symbolic Logic, 1968
- On Free Description TheoryMathematical Logic Quarterly, 1967
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959
- A generalization of the concept ofω-completenessThe Journal of Symbolic Logic, 1957
- On the definition of ‘formal deduction’The Journal of Symbolic Logic, 1956
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949