A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems

Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets +1

We provide an epistemic logical language and semantics for the modeling and analysis of byzantine fault-tolerant multi-agent systems. This not only facilitates reasoning about the…