Non-deterministic semantics for dynamic topological logic

DOI10.1016/j.apal.2008.09.015zbMath1168.03010arXiv1611.06735MaRDI QIDQ1006607

David Fernández

Publication date: 25 March 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1611.06735

zbMATH Keywords

temporal logic; spatial logic; dynamic topological logic; typed Kripke frames

Mathematics Subject Classification ID

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

03B44: Temporal logic

Related Items

The intuitionistic temporal logic of dynamical systems, COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS, Completeness of a functional system for surjective functions, Dynamic topological logic of metric spaces, Time and Gödel: fuzzy temporal reasoning in PSPACE, On the modal definability of simulability by finite transitive models, Tangled modal logic for topological dynamics, Dynamic topological logic interpreted over minimal systems, A sound and complete axiomatization for Dynamic Topological Logic, Strict Canonical Constructive Systems

Cites Work

• Dynamic topological logic
• On dynamic topological and metric logics
• The modal logic of continuous functions on the rational numbers
• Dynamic Topological Completeness for
• Propositional temporal logics: decidability and completeness
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Unnamed Item
• Unnamed Item
• Unnamed Item