Bachelor/Master Thesis
Unbeatable consensus
Modal logics have been used for a long time in order to study distributed protocols. One of the milestone results is that agreement/consensus corresponds to the notion of common knowledge. In general, it is an interesting task to reason about the different kinds of knowledge needed to complete a distributed task. In this work, we will analyse the “optimality” of arbitrary consensus protocols with the use of modal logic[1]. An exposure to modal logic is beneficial for this work but not needed. The student should have done well in most theory-based lectures offered by the university.