Non-deterministic semantics for dynamic topological logic

DOI10.1016/J.APAL.2008.09.015zbMath1168.03010arXiv1611.06735OpenAlexW2153716149MaRDI 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 logicspatial logicdynamic topological logictyped Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (10)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Non-deterministic semantics for dynamic topological logic