Bisimulation for impure simplicial complexes, 2024

Marta B´ ılkov´ a, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa · 2024 · arXiv 2406.16785

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

1 Pith paper citing it

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 3
Introduces DSL and DDSL as deontic logics on simplicial complexes for modeling joint commitments, with claimed soundness and completeness proofs.