Tangled modal logic for topological dynamics

DOI10.1016/J.APAL.2011.12.018zbMath1248.03033DBLPjournals/apal/Duque12OpenAlexW1994846324WikidataQ58883306 ScholiaQ58883306MaRDI QIDQ764267

David Fernández-Duque

Publication date: 13 March 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.018

zbMATH Keywords

modal logictemporal reasoningspatial reasoningdynamic topological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Categoricity and completeness of theories (03C35) Combined logics (03B62)

Related Items (4)

A sound and complete axiomatization for Dynamic Topological Logic ⋮ The finite model property for logics with the tangle modality ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Non-finite axiomatizability of dynamic topological logic

Cites Work

• Unnamed Item
• Modal characterisation theorems over special classes of frames
• On the modal definability of simulability by finite transitive models
• Non-deterministic semantics for dynamic topological logic
• Propositional temporal logics: decidability and completeness

This page was built for publication: Tangled modal logic for topological dynamics