63 citations · 134 across the 19 of their papers we have counts for
3 papers · 1 filter
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…
Uniform interpolation via nested sequents and hypersequents
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents,…
Wanted Dead or Alive : Epistemic logic for impure simplicial complexes
Hans van Ditmarsch, Roman Kuznets
We propose a logic of knowledge for impure simplicial complexes. Impure simplicial complexes represent synchronous distributed systems under uncertainty over which processes are st…