Sergio Rajsbaum

most citedA Simplicial Model for

K B 4_{n}

: Epistemic Logic with Agents that May Die

2 citations · 2 across the 1 of their papers we have counts for

collaborators

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021★ 2 cited

A Simplicial Model for $K B 4_{n}$ : Epistemic Logic with Agents that May Die

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum

The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional struc…

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

A Simplicial Model for $K B 4_{n}$ : Epistemic Logic with Agents that May Die