Dynamic topological S5

DOI10.1016/J.APAL.2009.01.015MaRDI QIDQ1024554zbMATH OpenOpenAlexFDO

Authors 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

topologymodal logictemporal logicdynamic topological logic

Mathematics Subject Classification ID

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

Recommendations

• Dynamic topological logic
• Non-deterministic semantics for dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• An infinitary axiomatization of dynamic topological logic
• The modal logic of continuous functions on Cantor space

Cites work

• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• A completeness theorem in modal logic
• An elementary proof of the completeness of PDL
• Dynamic topological logic
• Many-dimensional modal logics: theory and applications
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The algebra of topology

Cited in

(12)

• Finite topological models of modal logic systems S4 and S5
• Dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• The intuitionistic temporal logic of dynamical systems
• Topological modal logics satisfying finite chain conditions
• On completeness of dynamic topological logic
• A sound and complete axiomatization for dynamic topological logic
• Completeness of a functional system for surjective functions
• Modal logic S4 as a paraconsistent logic with a topological semantics
• Topo-logic as a dynamic-epistemic logic
• The modal logic of continuous functions on the rational numbers
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces

This page was built for publication: Dynamic topological S5

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