Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries

Koki Yagi, Susumu Nishimura

In their recent paper (GandALF 2018), Goubault, Ledent, and Rajsbaum provided a formal epistemic model for distributed computing. Their logical model, as an alternative to the well…