12 citations · 33 across the 11 of their papers we have counts for
5 papers · 1 filter
Communication Modalities
Roman Kuznets
Epistemic analysis of distributed systems is one of the biggest successes among applications of logic in computer science. The reason for that is that agents' actions are necessari…
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…
A priori Belief Updates as a Method for Agent Self-Recovery
Giorgio Cignarale, Roman Kuznets
Standard epistemic logic is concerned with describing agents' epistemic attitudes given the current set of alternatives the agents consider possible. While distributed systems can…
On Two- and Three-valued Semantics for Impure Simplicial Complexes
Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simpli…
Fire!
Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid
In this paper, we provide an epistemic analysis of a simple variant of the fundamental consistent broadcasting primitive for byzantine fault-tolerant asynchronous distributed syste…