Dynamic topological logic

DOI10.1016/J.APAL.2004.06.004MaRDI QIDQ705534zbMATH OpenOpenAlexFDO

Authors Philip Kremer, G. E. Mints

Publication date 31 January 2005

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.2004.06.004

zbMATH Keywords

modal logic temporal logic topological dynamics topological semantics

Mathematics Subject Classification ID

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

Review text

Three important research areas meet together in the abstract framework of dynamic topological logic (DTL): the topological semantics for S4, topological dynamics, and temporal logic. It is known that S4 can be understood as the logic of topological spaces, and \(\square\) can be understood as a topological modality (with the meaning of the topological interior). Thus, the topological semantics for S4 is based on topological spaces rather than Kripke frames. On the other hand, topological dynamics studies the asymptotic properties of continuous maps on topological spaces. A dynamic topological system is a topological space \(X\) together with a continuous function \(f\) which can be thought of in temporal terms as moving the points of the topological space. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces, and are defined for a trimodal language with an S4-ish topological modality, and two temporal modalities (`next' and `henceforth') both interpreted using the continuous function \(f\). In particular, `next' expresses \(f\)'s action on \(X\) from one moment to the next, and `henceforth' expresses the asymptotic behaviour of \(f\). The authors introduce the dynamic topological analogues of Kripke models, the dynamic Alexandrov models, in order to set a precise definition of dynamic topological model; then, a semantic definition of the dynamic topological logic generated by a class \(\mathcal{T}\) of topological spaces and/or a class \(\mathcal{F}\) of continuous functions. Later, several specific DTLs are considered, presenting their properties and axiomatizing some of their next-interior fragments. Finally, a sound and complete axiomatization of a DTL is given in a particular trimodal fragment of the language in which the temporal modalities cannot occur in the scope of a topological modality.

Recommendations

Cites work

Cited in

(33)

This page was built for publication: Dynamic topological logic

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