On completeness of dynamic topological logic

MaRDI QIDQ3371957zbMATH OpenFDO

Authors Sergey Slavnov

Publication date 22 February 2006

zbMATH Keywords

bimodal logicdynamic logicdynamic spacemodal logictopological semantics

Mathematics Subject Classification ID

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

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

(17)

• Non-deterministic semantics for dynamic topological logic
• A proof of topological completeness for S4 in (0,1)
• The Mckinsey-Tarski theorem for topological evidence logics
• Dynamic Topological Completeness for
• scientific article; zbMATH DE number 6538188 (Why is no real title available?)
• Topological Semantics of Justification Logic
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• On Dynamic Topological Logic of the Real Line
• Krull dimension in modal logic
• Complete intuitionistic temporal logics for topological dynamics
• Spatial logic of tangled closure operators and modal mu-calculus
• Dynamic topological logic of metric spaces
• Simple completeness proofs for some spatial logics of the real line
• Dynamic Cantor derivative logic
• Dynamic measure logic
• On dynamic topological and metric logics
• The modal logic of continuous functions on the rational numbers

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)