Some Completeness Results for Modal Predicate Calculi

Publisher Website

1 January 1970

book chapter
Published by Springer Nature

p. 56-76
https://doi.org/10.1007/978-94-010-3272-8_3

Abstract

No abstract available

Keywords

This publication has 9 references indexed in Scilit:

Abstraction in First‐Order Modal Logic1
Theoria, 1968
On the strong semantical completeness of the intuitionistic predicate calculus
The Journal of Symbolic Logic, 1968
On Free Description Theory
Mathematical Logic Quarterly, 1967
Semantical Analysis of Intuitionistic Logic I
Published by Elsevier ,1965
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Mathematical Logic Quarterly, 1963
A completeness theorem in modal logic
The Journal of Symbolic Logic, 1959
A generalization of the concept ofω-completeness
The Journal of Symbolic Logic, 1957
On the definition of ‘formal deduction’
The Journal of Symbolic Logic, 1956
The completeness of the first-order functional calculus
The Journal of Symbolic Logic, 1949