Kragujevac J. Math. 23 (2001) 107-117.
Zoran Ognjanovic
Matematicki institut, Kneza Mihaila 35, 11000 Beograd,
Yugoslavia
(Received May 15, 2001)
Abstract. In this article we consider a proof procedure for logics of likelihood. The procedure relies on tableau-like and resolution-like inferences and is suitable for execution on parallel computers.