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

Other Versions

No versions found

Links

PhilArchive



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

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.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.
Goldblatt-Thomason-style Theorems for Graded Modal Language.Katsuhiko Sano & Minghui Ma - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 330-349.
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.
Expressivity of Second Order Propositional Modal Logic.Balder Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Existential definability of modal frame classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.Kentarô Yamamoto - 2020 - Studia Logica 109 (2):397-421.

Analytics

Added to PP
2016-06-30

Downloads
31 (#724,843)

6 months
2 (#1,686,488)

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 definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
Interpolation for extended modal languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.

View all 9 references / Add more references