TY - RPRT TI - Modal Logic for Distributed Trust AU - Niels Voorneveld AU - Peeter Laud PY - 2026 UR - https://arxiv.org/abs/2603.21802 ID - 2603.21802 ER -