Inproceedings,

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

, , and .
STACS, volume 219 of LIPIcs, page 33:1-33:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Meta data

Tags

Users

  • @dblp

Comments and Reviews