Non-finite axiomatizability of dynamic topological logic

DOI10.1145/2489334zbMath1287.03069arXiv1207.5140OpenAlexW2036386940WikidataQ58883280 ScholiaQ58883280MaRDI QIDQ5410331

David Fernández-Duque

Publication date: 16 April 2014

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.5140

zbMATH Keywords

dynamical systemstemporal logicspatial reasoningaxiomatizabilitytopological semanticsspatial logicdynamic topological logictheory complexity

Mathematics Subject Classification ID

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

Related Items (4)

COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Dynamic Cantor Derivative Logic ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Intensional protocols for dynamic epistemic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• Modal characterisation theorems over special classes of frames
• On the modal definability of simulability by finite transitive models
• Tangled modal logic for topological dynamics
• On dynamic topological and metric logics
• Propositional logic of continuous transformations in Cantor space
• Propositional temporal logics: decidability and completeness
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Der Aussagenkalkül und die Topologie

This page was built for publication: Non-finite axiomatizability of dynamic topological logic