Non-deterministic semantics for dynamic topological logic

DOI10.1016/J.APAL.2008.09.015MaRDI QIDQ1006607zbMATH OpenOpenAlexFDO

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

Abstract: Dynamic Topological Logic ($mathcalDTL$) is a combination of $mathcalS${em 4}, under its topological interpretation, and the temporal logic $mathcalLTL$ interpreted over the natural numbers. $mathcalDTL$ is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples $left<X,mathcalT,f,Vight>$, where $left<X,mathcalTight>$ is a topological space, $f$ a function on $X$ and $V$ a truth valuation assigning subsets of $X$ to propositional variables.

Recommendations

• Dynamic topological logic interpreted over minimal systems
• Dynamic topological logic
• Dynamic topological logic of metric spaces

Cites work

• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• Dynamic Topological Completeness for
• Dynamic topological logic
• Modal logic
• On completeness of dynamic topological logic
• On dynamic topological and metric logics
• Propositional temporal logics: decidability and completeness
• The modal logic of continuous functions on the rational numbers
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

Cited in

(15)

• scientific article; zbMATH DE number 3943004 (Why is no real title available?)
• Dynamic topological logic of metric spaces
• Dynamic topological logic
• Non-deterministic semantics for logics with a consistency operator
• A sound and complete axiomatization for dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• Dynamic topological S5
• Strict canonical constructive systems
• The intuitionistic temporal logic of dynamical systems
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Completeness of a functional system for surjective functions
• Gödel-Dummett linear temporal logic
• Complete intuitionistic temporal logics for topological dynamics
• On the modal definability of simulability by finite transitive models
• Tangled modal logic for topological dynamics

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

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