Cocchiarella, N. B. A completeness theorem in second order modal logic. (English) Zbl 0205.00601 Theoria 35, 81-103 (1969). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 03B45 Modal logic (including the logic of norms) PDF BibTeX XML Cite \textit{N. B. Cocchiarella}, Theoria 35, 81--103 (1969; Zbl 0205.00601) Full Text: DOI