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 [Book Review]

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

Abstract

Review of paper mentioned in the title.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

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.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Basic Concepts in Modal Logic.Edward N. Zalta - manuscript
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
O logice modalnej.Stanisław Kiczuk - 2004 - Roczniki Filozoficzne 52 (1):199-212.
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.
The completeness of $S1$ and some related systems.Max J. Cresswell - 1972 - Notre Dame Journal of Formal Logic 13 (4):485-496.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.

Analytics

Added to PP
2013-11-22

Downloads
20 (#771,402)

6 months
4 (#798,951)

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