Propositional logic of continuous transformations in Cantor space

&
Archive for Mathematical Logic 44 (6):783-799 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s00153-005-0285-z

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

Generic substitutions.Giovanni Panti - 2005 - Journal of Symbolic Logic 70 (1):61-83.
Second order propositional operators over Cantor space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Universality of the closure space of filters in the algebra of all subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Natural Numbers and Infinitesimals: A Discussion between Benno Kerry and Georg Cantor.Carlo Proietti - 2008 - History and Philosophy of Logic 29 (4):343-359.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Properties of ideals on the generalized Cantor spaces.Jan Kraszewski - 2001 - Journal of Symbolic Logic 66 (3):1303-1320.
Continuous Lattices and Whiteheadian Theory of Space.Thomas Mormann - 1998 - Logic and Logical Philosophy 6:35 - 54.
Dynamic topological logic.S. Artemov - unknown

Analytics

Added to PP
2013-10-30

Downloads
43 (#354,419)

6 months
12 (#183,686)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.

View all 6 citations / Add more citations

References found in this work

Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.

Add more references