Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66 [Book Review]

Journal of Symbolic Logic 35 (4):581-582 (1970)
  Copy   BIBTEX

Abstract

Reviews of the papers referred to in the title.

Categories

Keywords

Reprint years

DOI

10.2307/2271460

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Alternative completeness theorems for modal systems.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8 (4):339-345.
Some proofs of relative completeness in modal logic.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):62-66.
The completeness of $S1$ and some related systems.Max J. Cresswell - 1972 - Notre Dame Journal of Formal Logic 13 (4):485-496.
Completeness without the Barcan formula.M. J. Cresswell - 1968 - Notre Dame Journal of Formal Logic 9 (1):75-80.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Henkin style completeness proofs in theories lacking negation.John L. Pollock - 1971 - Notre Dame Journal of Formal Logic 12 (4):509-511.
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions.J. Almog - 1980 - Notre Dame Journal of Formal Logic 21 (2):467-479.
Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.
A completeness theorem for dynamic logic.László Csirmaz - 1985 - Notre Dame Journal of Formal Logic 26 (1):51-60.
Minimal doxastic logic: probabilistic and other completeness theorems.Peter Milne - 1993 - Notre Dame Journal of Formal Logic 34 (4):499-526.
Functional completeness of Henkin's propositional fragments.Ivo Thomas - 1960 - Notre Dame Journal of Formal Logic 1 (3):107-110.
A strong completeness theorem for $3$-valued logic. [REVIEW]H. Goldberg, H. Leblanc & G. Weaver - 1974 - Notre Dame Journal of Formal Logic 15 (2):325-330.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,010,467)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references