Distributed algorithms are expressed as axiomatic theories in three-valued modal logic over semitopologies, with examples including Bracha broadcast and Crusader agreement, and all proofs formalized in Lean 4.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Endogenous tokens on permissionless ledgers lack a cash-like privacy primitive, stablecoins do not inherently provide it, and security reliance on the token exposes even private assets to risk.
citing papers explorer
-
Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
Distributed algorithms are expressed as axiomatic theories in three-valued modal logic over semitopologies, with examples including Bracha broadcast and Crusader agreement, and all proofs formalized in Lean 4.
-
Privacy is Fungibility: Why Endogenous Tokens Are Not Money
Endogenous tokens on permissionless ledgers lack a cash-like privacy primitive, stablecoins do not inherently provide it, and security reliance on the token exposes even private assets to risk.