Topological completeness of logics above s4

, &
Journal of Symbolic Logic 80 (2):520-566 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.59

Links

PhilArchive



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

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 logics of metric spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
The d-Logic of the Rational Numbers: A Fruitful Construction.Joel Lucero-Bryan - 2011 - Studia Logica 97 (2):265-295.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Dynamic topological logic.S. Artemov - unknown
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
The topological product of s4 and S.Philip Kremer - unknown
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Subspaces of whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - forthcoming - Archive for Mathematical Logic.
The Incompleteness of S4 {bigoplus} S4 for the Product Space.Philip Kremer - 2015 - Studia Logica 103 (1):219-226.
Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.
Homeomorphism and the Equivalence of Logical Systems.Stephen Pollard - 1998 - Notre Dame Journal of Formal Logic 39 (3):422-435.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.

Analytics

Added to PP
2016-06-30

Downloads
27 (#587,064)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logics above s4 and the lebesgue measure algebra.Tamar Lando - 2017 - Review of Symbolic Logic 10 (1):51-64.

Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.

View all 16 references / Add more references