Reproduce “Unbelievably Complex” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Hans van Ditmarsch, Djanira Gomes, Rojo Randrianomentsoa, Thomas Studer
Authors introduce three-valued semantics for belief on directed simplicial models, where each agent’s local state specifies accessible partial states. This lets beliefs about absent agents be undefined rather than false. They provide sound-and-complete axiomatizations: BLOC for directed and upward models, and IBLOC for cups, adding an independence principle. Cups represent local states but exclude dead agents and restricted global combinations.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.