Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent synchronous 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 knowledg...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2103.03032 http://arxiv.org/abs/2103.03032 |
| Tags: |
No Tags, Be the first to tag this record!
|