Dynamic topological logic interpreted over minimal systems

DOI10.1007/S10992-010-9160-4MaRDI QIDQ766293zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Non-deterministic semantics for dynamic topological logic
• An infinitary axiomatization of dynamic topological logic
• On dynamic topological and metric logics

Cites work

• scientific article; zbMATH DE number 412251 (Why is no real title available?)
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• scientific article; zbMATH DE number 3028682 (Why is no real title available?)
• Der Aussagenkalkül und die Topologie
• Dynamic Topological Completeness for
• Dynamic topological S5
• Dynamic topological logic
• Handbook of Spatial Logics
• Non-deterministic semantics for dynamic topological logic
• Non-primitive recursive decidability of products of modal logics with expanding domains
• On dynamic topological and metric logics
• Propositional logic of continuous transformations in Cantor space
• The modal logic of continuous functions on Cantor space
• The modal logic of continuous functions on the rational numbers

Cited in

(11)

• Dynamic topological S5
• Complete intuitionistic temporal logics for topological dynamics
• Dynamic topological logic
• An infinitary axiomatization of dynamic topological logic
• The intuitionistic temporal logic of dynamical systems
• Dynamic topological logic of metric spaces
• A sound and complete axiomatization for dynamic topological logic
• Tangled modal logic for topological dynamics
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• Non-deterministic semantics for dynamic topological logic
• On dynamic topological and metric logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q766293)