The McKinsey axiom is not compact

Journal of Symbolic Logic 57 (4):1230-1238 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275366

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

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

An Investigation of the Properties of the Mckinsey Axiom.Xiaoping Wang - 1991 - Dissertation, Tulane University
The McKinsey axiom is not canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.
The Mckinsey–Tarski Theorem for Locally Compact Ordered Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Bulletin of Symbolic Logic 27 (2):187-211.
Review: Hao Wang, Arithmetic Translations of Axiom Systems. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Wang Hao. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 , pp. 283–293. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Wang Hao. Remarks on the comparison of axiom systems. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 448–453. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript

Analytics

Added to PP
2009-01-28

Downloads
84 (#248,348)

6 months
15 (#200,807)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Canonicity for intensional logics without iterative axioms.Timothy J. Surendonk - 1997 - Journal of Philosophical Logic 26 (4):391-409.
Intentional identity revisited.Ahti Pietarinen - 2010 - Nordic Journal of Philosophical Logic 6 (2):147-188.
Canonicity for intensional logics with even axioms.Timothy J. Surendonk - 2001 - Journal of Symbolic Logic 66 (3):1141-1156.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.

Add more citations

References found in this work

An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.

Add more references