A sound and complete axiomatization for Dynamic Topological Logic

DOI10.2178/jsl/1344862169zbMath1256.03025arXiv1201.5162OpenAlexW2962972216MaRDI QIDQ2915900

David Fernández-Duque

Publication date: 19 September 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

modal logiccompletenessaxiomatizationdynamic topological logicpolyadic modality

Mathematics Subject Classification ID

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

Related Items (7)

COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Dynamic Cantor Derivative Logic ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ 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
• Dynamic topological logic interpreted over minimal systems
• Some results on modal axiomatization and definability for topological spaces
• On dynamic topological and metric logics
• Non-deterministic semantics for dynamic topological logic
• Dynamic topological S5
• Many-dimensional modal logics: theory and applications
• Propositional logic of continuous transformations in Cantor space
• Non-primitive recursive decidability of products of modal logics with expanding domains
• Propositional temporal logics: decidability and completeness
• Dynamic topological logic of metric spaces
• Der Aussagenkalkül und die Topologie

This page was built for publication: A sound and complete axiomatization for Dynamic Topological Logic