A logic with conditional probability operators
File(s)n101p085.pdf (494.79 KB)
Published version
Author(s)
Doder, D
Marinković, B
Maksimović, P
Perović, A
Type
Journal Article
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.
Date Issued
2010-10-14
Date Acceptance
2010-03-26
Citation
Publications de l'Institut Mathematique, 2010, 87 (101), pp.85-96
ISSN
0350-1302
Publisher
Mathematical Institute, Serbian Academy of Sciences and Arts
Start Page
85
End Page
96
Journal / Book Title
Publications de l'Institut Mathematique
Volume
87
Issue
101
Copyright Statement
© 2010 Mathematical Institute, Serbian Academy of Sciences and Arts
Subjects
0101 Pure Mathematics
Publication Status
Published