Tangled modal logic for topological dynamics

DOI10.1016/J.APAL.2011.12.018MaRDI QIDQ764267zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

dynamic topological logicmodal logicspatial reasoningtemporal reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4047688
• Dynamic topological logic
• Modal Logics of Topological Relations
• Non-deterministic semantics for dynamic topological logic
• Modal logic for qualitative dynamics
• Complete intuitionistic temporal logics for topological dynamics
• Dynamic topological logic interpreted over minimal systems
• A topological logic of action

Cites work

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

Cited in

(3)

• The finite model property for logics with the tangle modality
• A sound and complete axiomatization for dynamic topological logic
• Spatial logic of tangled closure operators and modal mu-calculus

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

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