Dynamic topological S5

DOI10.1016/J.APAL.2009.01.015zbMATH Open1195.03025OpenAlexW2068303546MaRDI QIDQ1024554FDOQ1024554

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

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

zbMATH Keywords

topologymodal logictemporal logicdynamic topological logic

Mathematics Subject Classification ID

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

Cites Work

• Many-dimensional modal logics: theory and applications
• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The algebra of topology
• Title not available (Why is that?)
• An elementary proof of the completeness of PDL
• Dynamic topological logic

Cited In (8)

• Topological modal logics satisfying finite chain conditions
• On completeness of dynamic topological logic
• Dynamic topological logic
• A sound and complete axiomatization for dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• The modal logic of continuous functions on the rational numbers
• The intuitionistic temporal logic of dynamical systems
• Completeness of a functional system for surjective functions

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)