Authors G. CinaN.J.S. Enqvist Date (dd-mm-yyyy) 2016 Title Bisimulation and path logic for sheaves: contextuality and beyond. Publication Year 2016 Document type Conference contribution Permalink https://hdl.handle.net/11245.1/9fcd82d0-79e7-48fd-bb0b-b5842c253483