On completeness of dynamic topological logic

zbMATH Open1091.03005MaRDI QIDQ3371957FDOQ3371957

Authors: Sergey Slavnov 

Publication date: 22 February 2006

Recommendations

• The modal logic of continuous functions on the rational numbers
• On Dynamic Topological Logic of the Real Line
• S4 is Topologically Complete for (0,1): a Short Proof
• Dynamic topological S5
• Dynamic Topological Completeness for

zbMATH Keywords

modal logicdynamic logicbimodal logictopological semanticsdynamic space

Mathematics Subject Classification ID

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

Cited In (16)

• Title not available (Why is that?)
• Dynamic Cantor derivative logic
• Krull dimension in modal logic
• A proof of topological completeness for S4 in \((0,1)\)
• Dynamic topological logic of metric spaces
• On dynamic topological and metric logics
• Title not available (Why is that?)
• Topological Semantics of Justification Logic
• On Dynamic Topological Logic of the Real Line
• Dynamic measure logic
• The modal logic of continuous functions on the rational numbers
• Non-deterministic semantics for dynamic topological logic
• Dynamic Topological Completeness for
• Complete intuitionistic temporal logics for topological dynamics
• Spatial logic of tangled closure operators and modal mu-calculus
• Simple completeness proofs for some spatial logics of the real line

This page was built for publication: On completeness of dynamic topological logic

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