Dynamic topological S5

DOI10.1016/j.apal.2009.01.015zbMath1195.03025OpenAlexW2068303546MaRDI QIDQ1024554

Philip Kremer

Publication date: 17 June 2009

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

Full work available at URL: https://doi.org/10.1016/j.apal.2009.01.015

zbMATH Keywords

modal logictopologytemporal logicdynamic topological logic

Mathematics Subject Classification ID

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

Related Items (4)

A sound and complete axiomatization for Dynamic Topological Logic ⋮ Completeness of a functional system for surjective functions ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Dynamic topological logic interpreted over minimal systems

Cites Work

• Unnamed Item
• Dynamic topological logic
• An elementary proof of the completeness of PDL
• Many-dimensional modal logics: theory and applications
• The algebra of topology
• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Dynamic topological S5