On completeness of dynamic topological logic

MaRDI QIDQ3371957zbMATH OpenFDO

Authors Sergey Slavnov

Publication date 22 February 2006

zbMATH Keywords

modal logicdynamic logicbimodal logictopological semanticsdynamic space

Mathematics Subject Classification ID

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

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

Cited in

(16)

• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• Dynamic Cantor derivative logic
• A proof of topological completeness for S4 in (0,1)
• Krull dimension in modal logic
• On dynamic topological and metric logics
• Dynamic topological logic of metric spaces
• scientific article; zbMATH DE number 6538188 (Why is no real title available?)
• Topological Semantics of Justification Logic
• Dynamic measure logic
• The modal logic of continuous functions on the rational numbers
• Non-deterministic semantics for dynamic topological logic
• On Dynamic Topological Logic of the Real Line
• 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)