The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space

&
In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 342-361 (2016)
  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,202

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

Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.
Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
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 three arrows of Zeno.Craig Harrison - 1996 - Synthese 107 (2):271 - 292.
Life in configuration space.Peter J. Lewis - 2004 - British Journal for the Philosophy of Science 55 (4):713-729.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
PCA well-orderings of the line.Harvey Friedman - 1974 - Journal of Symbolic Logic 39 (1):79-80.
Pairwise disjoint eight-shaped curves in hybrid planes.Camillo Costantini - 2007 - Mathematical Logic Quarterly 53 (6):551-557.
Four-dimensional color space.E. N. Sokolov - 1997 - Behavioral and Brain Sciences 20 (2):207-208.
Remarks on nonmeasurable unions of big point families.Robert Rałowski - 2009 - Mathematical Logic Quarterly 55 (6):659-665.
Surfaces and lines in terms of the delta and step functions.Yasushi Takahashi - 1993 - Foundations of Physics 23 (5):739-750.
On the computability of fractal dimensions and Hausdorff measure.Ker-I. Ko - 1998 - Annals of Pure and Applied Logic 93 (1-3):195-216.
The baire category theorem and cardinals of countable cofinality.Arnold W. Miller - 1982 - Journal of Symbolic Logic 47 (2):275-288.
Survey of a quark model.Stanley P. Gudder - 1982 - Foundations of Physics 12 (11):1041-1055.
Experiment to Test Whether We Live in a Four-Dimensional Physical Space–Time.Alexander Gersten - 2005 - Foundations of Physics 35 (8):1445-1452.

Analytics

Added to PP
2018-02-24

Downloads
9 (#1,187,161)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.
Modal characterisation theorems over special classes of frames.Anuj Dawar & Martin Otto - 2010 - Annals of Pure and Applied Logic 161 (1):1-42.

View all 6 references / Add more references