Wanted Dead or Alive : Epistemic logic for impure simplicial complexes

03/04/2021
by   Hans van Ditmarsch, et al.
0

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. possibly incomplete tasks and algorithms in distributed computing, is left for future research.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/25/2017

Models of fault-tolerant distributed computation via dynamic epistemic logic

The computability power of a distributed computing model is determined b...
research
10/16/2021

Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic

Modal logic with propositional quantifiers (i.e. second-order propositio...
research
08/23/2021

A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die

The standard semantics of multi-agent epistemic logic S5 is based on Kri...
research
05/25/2015

A Logic of Knowing How

In this paper, we propose a single-agent modal logic framework for reaso...
research
07/02/2022

Communication Pattern Logic: Epistemic and Topological Views

We propose communication pattern logic. A communication pattern describe...
research
06/22/2021

Knowing How to Plan

Various planning-based know-how logics have been studied in the recent l...
research
04/24/2014

Gradual Classical Logic for Attributed Objects

There is knowledge. There is belief. And there is tacit agreement.' 'We ...

Please sign up or login with your details

Forgot password? Click here to reset