12 citations · 12 across the 3 of their papers we have counts for
4 papers
A logic of interactive proofs
David Lehnherr, Zoran Ognjanovic, Thomas Studer
We introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of…
A First-Order Logic for Reasoning about Knowledge and Probability
Siniša Tomović, Zoran Ognjanović, Dragan Doder
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The propose…
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2
Bojan Marinković, Zoran Ognjanović, Dragan Doder +1
Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to…
Description of the Chord Protocol using ASMs Formalism
Bojan Marinković, Paola Glavan, Zoran Ognjanović
This paper describes the overlay protocol Chord using the formalism of Abstract State Machines. The formalization concerns Chord actions that maintain ring topology and manipulate…