On Dynamic Topological Logic of the Real Line

DOI10.1093/logcom/exn034zbMath1162.03010OpenAlexW2041379665MaRDI QIDQ3549319

Aleksey Nogin, Maria Nogin

Publication date: 22 December 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ba3f3933a29d98bf96352689cc6ed755f9e8914c

zbMATH Keywords

completenessdynamic topological logicdynamic modal logicS4C

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Dynamic topological logic of metric spaces