×

zbMATH — the first resource for mathematics

A completeness theorem in modal logic. (English) Zbl 0091.00902

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] A theory of formal deducibility (1950) · Zbl 0041.34807
[2] Introduction to metamathematics (1952)
[3] Modality and quantification in S5 21 pp 60– (1956)
[4] Symbolic logic (1932)
[5] Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Ajd Letterkunde pp 309– (1955)
[6] Introduction to semantics (1942)
[7] Logic for mathematicians (1953)
[8] Proceedings of the XIth International Congress of Philosophy XIV pp 65–
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.