Context Logic is a logical framework developed over the last decade for reasoning within and about context-aware systems. The project aims to provide a comprehensive presentation of the theory and applications of the formalism. Designed to be similar in style to the widely known Description Logics, Context Logic targets spatial and temporal reasoning as well as reasoning about machine learning and sensory and fuzzy input domains. The project studies the basic formalism, its different fragments, and their relation to other logics, as well as applications in ontology engineering in the geographic domain and intelligent systems verification in the autonomous vehicle transportation domain. An aim of the project are socio-economically viable choices towards autonomous intelligent systems that verifiably protect lives.