Semi-Simplicial Set Models for Distributed Knowledge - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2023

Semi-Simplicial Set Models for Distributed Knowledge

Éric Goubault
Roman Kniazev
  • Fonction : Auteur
Jérémy Ledent
Sergio Rajsbaum
  • Fonction : Auteur

Résumé

In recent years, a new class of models for multiagent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been investigated, giving rise to different logics and axiomatizations. In this paper, we present a further generalization, which encompasses all previously studied variants of simplicial models. Geometrically, this is achieved by generalizing beyond simplicial complexes, and considering instead semi-simplicial sets. By doing so, we define a new semantics for epistemic logic with distributed knowledge, where a group of agents may distinguish two worlds, even though each individual agent in the group is unable to distinguish them. As it turns out, these models are the geometric counterpart of a generalization of Kripke models, called "pseudomodels". We show how to recover the previously defined variants of simplicial models as sub-classes of our models; and give a sound and complete axiomatization for each of them.
Fichier principal
Vignette du fichier
Semi-Simplicial_Set_Models_for_Distributed_Knowledge-2.pdf (1.07 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04336328 , version 1 (11-12-2023)

Identifiants

Citer

Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum. Semi-Simplicial Set Models for Distributed Knowledge. Logic in Computer Science, Jun 2023, Boston (MA), United States. ⟨10.1109/lics56636.2023.10175737⟩. ⟨hal-04336328⟩
65 Consultations
45 Téléchargements

Altmetric

Partager

More