Dear all,
We will have our next LIRa session on Thursday, 17 March 16:30.
Please use our recurring zoom link: https://uva-live.zoom.us/j/88142993494?pwd=d1BsQWR4T2UyK0Job29YNThjaGRkUT09 (Meeting ID: 881 4299 3494, Passcode: 352984)
You can find the details of the talk below.
Speaker: Hans van Ditmarsch (Open University, Heerlen)
Date and Time: Thursday, March 17th 2022, 16:30-18:00, Amsterdam time.
Venue: online.
Title: Wanted Dead or Alive: Epistemic logic for impure simplicial complexes
Abstract. We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent distributed systems under uncertainty over which processes are still active (are alive) and which processes have failed or crashed (are dead). Our work generalizes the logic of knowledge for pure simplicial complexes, where all processes are alive, by Goubault et al. Our logical semantics has a satisfaction relation defined simultaneously with a definability relation. The latter restricts which formulas are allowed to have a truth value: dead processes cannot know or be ignorant of any proposition, and live processes cannot know or be ignorant of propositions involving processes they know to be dead. The logic satisfies some but not all axioms and rules of the modal logic S5. Impure simplicial complexes correspond to Kripke models where each agent's accessibility relation is an equivalence relation on a subset of the domain only, and otherwise empty, and where each propositional variable is known by an agent. We also propose a notion of bisimulation for impure simplexes and show bisimulation correspondence on certain finitary simplexes.
See also https://arxiv.org/abs/2103.03032
Hope to see you there!
The LIRa team