The modal logic of continuous functions on Cantor space
type: Item
instance of: scholarly article
title: The modal logic of continuous functions on Cantor space
zbMATH Open document ID: 1115.03011
author: Philip Kremer
published in: Archive for Mathematical Logic
publication date: 2007-01-24T00:00:00Z
review text: The modal system S4C axiomatizes dynamic topological systems \((X,f)\), where \(X\) is a topological space and \(f:X\to X\) is continuous. The reviewer and \textit{T. Zhang} [Arch. Math. Logic 44, No. 6, 783--799 (2005; Zbl 1103.03021)] proved it to be complete for the Cantor space. The author provides a streamlined version of that proof. Since then a device introduced by S. Slavnov made it possible to simplify the proof drastically. This version is presented in a joint survey paper by the author and the reviewer [in: M. Aiello et al. (eds.), Handbook of spatial logics (to appear)].
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 54H20
zbMATH DE Number: 5118085
zbMATH Keywords: dynamic topological systems
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: s00153-006-0024-0
OpenAlex ID: W2016413655
cites work: Dynamic topological logic
cites work: A completeness theorem in modal logic
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q3677141
cites work: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
cites work: The algebra of topology
cites work: Propositional logic of continuous transformations in Cantor space
cites work: Q5556395
cites work: Discrete linear future time without axioms
cites work: Q3888789
DOI: 10.1007/S00153-006-0024-0
description: scientific article; zbMATH DE number 5118085