Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272).Dagstuhl Reports, 13(7):34–65, 2024

Armando Casta˜ neda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, Ulrich Schmid · 2024 · DOI 10.4230/dagrep.13.7

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2026-05-26 · unverdicted · novelty 7.0

Introduces DSL and DDSL as deontic logics on simplicial complexes for modeling joint commitments, with claimed soundness and completeness proofs.

Showing 1 of 1 citing paper.

A Dynamic Deontic Simplicial Logic for Joint Commitments cs.LO · 2026-05-26 · unverdicted · none · ref 4
Introduces DSL and DDSL as deontic logics on simplicial complexes for modeling joint commitments, with claimed soundness and completeness proofs.