Dynamic topological logic interpreted over minimal systems

DOI10.1007/s10992-010-9160-4zbMath1243.03027OpenAlexW2053300126WikidataQ58883310 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 dynamicstemporal logicmultimodal logicspatial logicdynamic topological logiclogic of dynamic systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Symbolic dynamics (37B10) Temporal logic (03B44)

Related Items (4)

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

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

This page was built for publication: Dynamic topological logic interpreted over minimal systems