Dynamic topological S5

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

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

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 (12)

• Modal logic S4 as a paraconsistent logic with a topological semantics
• Topological modal logics satisfying finite chain conditions
• On completeness of dynamic topological logic
• Finite topological models of modal logic systems S4 and S5
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
• 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
• Topo-logic as a dynamic-epistemic logic
• 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)