A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die - École polytechnique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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

Jérémy Ledent
Sergio Rajsbaum

Résumé

The standard semantics of multi-agent epistemic logic S5_n is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond pairwise interactions, that we formalized as pure simplicial models in a previous work in Information and Computation 2021 [Éric Goubault et al., 2021]. Here we extend the theory to encompass simplicial models that are not necessarily pure. The corresponding class of Kripke models are those where the accessibility relation is symmetric and transitive, but might not be reflexive. Such models correspond to the epistemic logic KB4_n. Impure simplicial models arise in situations where two possible worlds may not have the same set of agents. We illustrate it with distributed computing examples of synchronous systems where processes may crash.
Fichier non déposé

Dates et versions

hal-04451546 , version 1 (11-02-2024)

Identifiants

Citer

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum. A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS, Mar 2022, Marseille, France. ⟨10.4230/LIPIcs.STACS.2022.33⟩. ⟨hal-04451546⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More