35 citations · 124 across the 25 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LO2025
Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
Murdoch J. Gabbay
We illustrate how to formally specify distributed algorithms as declarative axiomatic theories in a modal logic, using as illustrative examples a simple voting protocol, a simple b…
cs.CR2025
Decentralised collaborative action: cryptoeconomics in space
Murdoch J. Gabbay
Blockchains and peer-to-peer systems are part of a trend towards computer systems that are "radically decentralised", by which we mean that they 1) run across many participants, 2)…
cs.LO2025
A declarative approach to specifying distributed algorithms using three-valued modal logic
Murdoch J. Gabbay, Luca Zanolini
We present Coalition Logic, a three-valued modal fixed-point logic designed for declaratively specifying and reasoning about distributed algorithms, such as the Paxos consensus alg…