Contents of this Issue
Pick a mirror
A LOGIC WITH CONDITIONAL PROBABILITY OPERATORS
Dragan Doder, Bojan Marinkovic,
Faculty of Mechanical Engineering, University of Belgrade, Serbia; Mathematical Institute SANU, Kneza Mihaila 36, Belgrade, Serbia; Faculty of Traffic Engineering; University of Belgrade, Serbia
Petar Maksimovic, and Aleksandar Perovic
Abstract: We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.
Classification (MSC2000): 03B48
Full text of the article: (for faster download, first choose a mirror)
Electronic fulltext finalized on: 20 Apr 2010.
This page was last modified: 14 May 2010.
© 2010 Mathematical Institute of the Serbian Academy of Science and Arts
© 2010 ELibM and FIZ Karlsruhe / Zentralblatt MATH for
the EMIS Electronic Edition