The modal logic of continuous functions on the rational numbers

DOI10.1007/S00153-010-0185-8zbMath1193.03040OpenAlexW2134509352MaRDI QIDQ971888

Philip Kremer

Publication date: 17 May 2010

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

Full work available at URL: https://doi.org/10.1007/s00153-010-0185-8

zbMATH Keywords

completenessdynamic topological logicmodal logics of space

Mathematics Subject Classification ID

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

Related Items (3)

Dynamic topological logic of metric spaces ⋮ Non-deterministic semantics for dynamic topological logic ⋮ Dynamic topological logic interpreted over minimal systems

Cites Work

• Dynamic topological logic
• Multimodal logics of products of topologies
• The modal logic of continuous functions on Cantor space
• Propositional logic of continuous transformations in Cantor space
• The algebra of topology
• Dynamic Topological Completeness for

This page was built for publication: The modal logic of continuous functions on the rational numbers