On Dynamic Topological Logic of the Real Line

DOI10.1093/LOGCOM/EXN034MaRDI QIDQ3549319zbMATH OpenOpenAlexFDO

Authors Maria Nogin, Aleksey Nogin

Publication date 22 December 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ba3f3933a29d98bf96352689cc6ed755f9e8914c

zbMATH Keywords

completenessdynamic modal logicdynamic topological logicS4C

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Reasoning About Space: The Modal Way
• S4 is Topologically Complete for (0,1): a Short Proof
• A proof of topological completeness for S4 in (0,1)
• The modal logic of continuous functions on Cantor space
• Strong Completeness of S4 for the Real Line
• On completeness of dynamic topological logic
• The modal logic of continuous functions on the rational numbers
• scientific article; zbMATH DE number 1989648
• Quantified modal logic on the rational line
• scientific article; zbMATH DE number 1303430

Cited in

(9)

• Dynamic topologies and their applications to crisp topologies, fuzzifications of crisp topologies, and fuzzy topologies on the crisp real line
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• On completeness of dynamic topological logic
• The d-logic of the real line
• Dynamic topological logic of metric spaces
• Simple completeness proofs for some spatial logics of the real line
• Exploring the Jungle of Intuitionistic Temporal Logics
• The modal logic of continuous functions on Cantor space
• The modal logic of continuous functions on the rational numbers

This page was built for publication: On Dynamic Topological Logic of the Real Line

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