The modal logic of continuous functions on Cantor space

DOI10.1007/s00153-006-0024-0zbMath1115.03011OpenAlexW2016413655MaRDI QIDQ862352

Philip Kremer

Publication date: 24 January 2007

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0024-0

zbMATH Keywords

dynamic topological systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

The modal logic of continuous functions on the rational numbers ⋮ Dynamic topological logic interpreted over minimal systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic topological logic
• Discrete linear future time without axioms
• Propositional logic of continuous transformations in Cantor space
• The algebra of topology
• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology

This page was built for publication: The modal logic of continuous functions on Cantor space