From topology to metric: modal logic and quantification in metric spaces

, , &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 429-448 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
Finitely approximable groups and actions Part I: The Ribes—Zaluesskiĭ property.Christian Rosendal - 2011 - Journal of Symbolic Logic 76 (4):1297-1306.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Metrization of the Uniform Space and Effective Convergence.Y. Tsujii, T. Mori & M. Yasugi - 2002 - Mathematical Logic Quarterly 48 (S1):123-130.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Low-distortion embeddings of infinite metric spaces into the real line.Stefan Geschke - 2009 - Annals of Pure and Applied Logic 157 (2-3):148-160.
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
On countable choice and sequential spaces.Gonçalo Gutierres - 2008 - Mathematical Logic Quarterly 54 (2):145-152.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.

Analytics

Added to PP
2018-02-17

Downloads
7 (#1,385,962)

6 months
3 (#973,855)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.

Add more citations

References found in this work

No references found.

Add more references