Abstract:
We reason, for the most part, not about the universe as a whole but about small parts of it: the situations we encounters and navigate within on a daily basis. This thought inspire the development of situation theory and situation semantics in the 1980s and 90s. My own work in this area turned out to coincide with a parallel development of hybrid logic. In this talk I will try to chart the motivations for a logic of “situated reasoning”, explain the relevance of hybrid logic to this project and make connections with more recent work on social reasoning.