Dynamic topological logic interpreted over minimal systems

DOI10.1007/S10992-010-9160-4zbMATH Open1243.03027OpenAlexW2053300126WikidataQ58883310 ScholiaQ58883310MaRDI QIDQ766293FDOQ766293

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of Spatial Logics
• Der Aussagenkalkül und die Topologie
• Title not available (Why is that?)
• Dynamic topological logic
• On dynamic topological and metric logics
• Dynamic Topological Completeness for
• 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
• The modal logic of continuous functions on Cantor space
• The modal logic of continuous functions on the rational numbers

Cited In (8)

• Title not available (Why is that?)
• Dynamic topological logic of metric spaces
• On dynamic topological and metric logics
• Dynamic topological logic
• A sound and complete axiomatization for dynamic topological logic
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
• The intuitionistic temporal logic of dynamical systems
• Tangled modal logic for topological dynamics

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)