Local Goldblatt–Thomason theorem

Logic Journal of the IGPL 23 (6):861-880 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzv036

Links

PhilArchive



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

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

Modal Definability Based on Łukasiewicz Validity Relations.Bruno Teheux - 2016 - Studia Logica 104 (2):343-363.
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic.S. Celani & R. Jansana - 1999 - Logic Journal of the IGPL 7 (6):683-715.
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.
Non-Local Realistic Theories and the Scope of the Bell Theorem.Federico Laudisa - 2008 - Foundations of Physics 38 (12):1110-1132.
Bell’s Theorem without Inequalities and without Unspeakable Information.Adán Cabello - 2005 - Foundations of Physics 35 (11):1927-1934.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Against 'Realism'.Travis Norsen - 2007 - Foundations of Physics 37 (3):311-340.
Local Causality and Completeness: Bell vs. Jarrett. [REVIEW]Travis Norsen - 2009 - Foundations of Physics 39 (3):273-294.
An incompleteness theorem in modal logic.S. K. Thomason - 1974 - Theoria 40 (1):30-34.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
A theorem on initial segments of degrees.S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (1):41-45.
A rule-completeness theorem.Nuel D. Belnap & Richmond H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (1):39-43.
Lorentz's Local Time and the Theorem of Corresponding States.Robert Rynasiewicz - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:67 - 74.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.

Analytics

Added to PP
2016-06-30

Downloads
26 (#577,276)

6 months
12 (#178,599)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existential definability of modal frame classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.

Add more citations

References found in this work

Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.
Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.

View all 10 references / Add more references