EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 87(101), pp. 85–96 (2010)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

A LOGIC WITH CONDITIONAL PROBABILITY OPERATORS

Dragan Doder, Bojan Marinkovic,
Petar Maksimovic, and Aleksandar Perovic

Faculty of Mechanical Engineering, University of Belgrade, Serbia; Mathematical Institute SANU, Kneza Mihaila 36, Belgrade, Serbia; Faculty of Traffic Engineering; University of Belgrade, Serbia

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: 18 Jan 2016.

© 2010 Mathematical Institute of the Serbian Academy of Science and Arts
© 2010–2016 FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition