Knowledge and simplicial complexes

Hans van Ditmarsch, Éric Goubault, Jérémy Ledent, Sergio Rajsbaum

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Abstract

Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can define: knowledge, belief, bisimulation, the group notions of mutual, distributed and common knowledge, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes, building upon the foundations laid in Goubault et al. (Inf Comput 278:104597, 2021).
Original languageEnglish
Title of host publicationPhilosophy of Computing
Subtitle of host publicationPhilosophical Studies Series
Place of PublicationCham, Switzerland
PublisherSpringer
Chapter1
Pages1-50
Number of pages50
Volume143
ISBN (Electronic)9783030752675
ISBN (Print)9783030752668
DOIs
Publication statusE-pub ahead of print - 5 May 2022

Publication series

NamePhilosophical Studies Series
Volume143
ISSN (Print)0921-8599
ISSN (Electronic)2542-8349

Keywords

  • bisimulation
  • epistemic models
  • knowledge and belief
  • logical tools
  • simplicial complexes

Fingerprint

Dive into the research topics of 'Knowledge and simplicial complexes'. Together they form a unique fingerprint.

Cite this