×

The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based. (English) Zbl 0279.02010


MSC:

03B45 Modal logic (including the logic of norms)
03E70 Nonclassical and second-order set theories
PDF BibTeX XML Cite
Full Text: Numdam EuDML

References:

[1] or briefly [GIMC]: A. Bressan , A general interpreted modal calculus , Yale Press , New Haven , 325 pp. ( 1972 ). MR 401432 | Zbl 0255.02015 · Zbl 0255.02015
[2] R. Carnap , Meaning and Necessity , 2 nd ed., The University of Chicago Press , 258 pp. ( 1956 ). Zbl 0034.00106 · Zbl 0034.00106
[3] E. Mendelson , Introduction to mathematical logic , 300 pp. Van Nostrand , New York , ( 1963 ). MR 164867 | Zbl 0192.01901 · Zbl 0192.01901
[4] or briefly [IST]: J.D. Monk , Introduction to set theory , McGraw-Hill book Company , 193 pp. New York , ( 1969 ). MR 286668 | Zbl 0200.00066 · Zbl 0200.00066
[5] A. Mostowski , Über die Unabhängigkeit des Wohlordnungsatzes vom Ordnungsprinzip , Fundamenta Mathematicae , vol. 32 , pp. 201 - 252 . Article | Zbl 0022.12004 · Zbl 0022.12004
[6] J.M. Rosser , Logic for mathematicians , McGraw-Hill , 530 pp. New York , ( 1953 ). MR 54531 | Zbl 0068.00707 · Zbl 0068.00707
[7] P. Suppes , Axiomatic set theory , 265 pp. Princeton , ( 1960 ). MR 114757 | Zbl 0091.05102 · Zbl 0091.05102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.