@misc{indiciae272cd1db34be,
  title = {Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies},
  author = {Murdoch J. Gabbay},
  year = {2026},
  url = {https://arxiv.org/abs/2512.21137},
  note = {Source identifier: 2512.21137}
}