Modal Logic Without Possible Worlds
Date:
Joint talk with Brittany Gelb. We presented a semantics for modal logic based on simplicial complexes that instead of possible worlds uses an “Agent Perspective”. Philip explained the details of the formalism, including a novel soundness and completeness proof. Brittany followed up with some applications of these models to a distributed setting. Additionally, she showed how we can use tools from algebraic topology to show a variety of things including the nonexistence of bisimulations.