Non-deterministic semantics for dynamic topological logic

DOI10.1016/J.APAL.2008.09.015zbMATH Open1168.03010arXiv1611.06735OpenAlexW2153716149MaRDI QIDQ1006607FDOQ1006607

David Fernández

Publication date: 25 March 2009

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Propositional temporal logics: decidability and completeness
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Dynamic topological logic
• On dynamic topological and metric logics
• Dynamic Topological Completeness for
• The modal logic of continuous functions on the rational numbers

Cited In (13)

• Title not available (Why is that?)
• Strict Canonical Constructive Systems
• Dynamic topological logic of metric spaces
• Non-deterministic semantics for logics with a consistency operator
• A sound and complete axiomatization for dynamic topological logic
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
• Dynamic topological logic interpreted over minimal 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
• 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)