Quantifying over Boolean announcements

Hans van Ditmarsch, Tim French 0002. Quantifying over Boolean announcements. Logical Methods in Computer Science, 18(1), 2022. [doi]

Abstract

Abstract is missing.