Dynamic topological logic interpreted over minimal systems

DOI10.1007/s10992-010-9160-4zbMath1243.03027WikidataQ58883310 ScholiaQ58883310MaRDI QIDQ766293

David Fernández-Duque

Publication date: 23 March 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-010-9160-4

zbMATH Keywords

topological dynamics; temporal logic; multimodal logic; spatial logic; dynamic topological logic; logic of dynamic systems

Mathematics Subject Classification ID

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

37B10: Symbolic dynamics

03B44: Temporal logic

Related Items

The intuitionistic temporal logic of dynamical systems, COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS, Dynamic topological logic of metric spaces, A sound and complete axiomatization for Dynamic Topological Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic topological logic
• The modal logic of continuous functions on Cantor space
• On dynamic topological and metric logics
• The modal logic of continuous functions on the rational numbers
• Non-deterministic semantics for dynamic topological logic
• Dynamic topological S5
• Propositional logic of continuous transformations in Cantor space
• Non-primitive recursive decidability of products of modal logics with expanding domains
• Dynamic Topological Completeness for
• Handbook of Spatial Logics
• Der Aussagenkalkül und die Topologie