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

modal logictemporal reasoningspatial reasoningdynamic topological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) 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)

• 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

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)