Tangled modal logic for topological dynamics

DOI10.1016/J.APAL.2011.12.018zbMATH Open1248.03033DBLPjournals/apal/Duque12OpenAlexW1994846324WikidataQ58883306 ScholiaQ58883306MaRDI QIDQ764267FDOQ764267

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

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

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)

Cites Work

• Modal logic
• Propositional temporal logics: decidability and completeness
• 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

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)