A Logic with Conditional Probability Operators
Publications de l'Institut Mathématique, _N_S_87 (2010) no. 101, p. 85
Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
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 :
03B48
@article{PIM_2010_N_S_87_101_a5,
author = {Dragan Doder and Bojan Marinkovi\'c and Petar Maksimovi\'c and Aleksandar Perovi\'c},
title = {A {Logic} with {Conditional} {Probability} {Operators}},
journal = {Publications de l'Institut Math\'ematique},
pages = {85 },
publisher = {mathdoc},
volume = {_N_S_87},
number = {101},
year = {2010},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a5/}
}
TY - JOUR AU - Dragan Doder AU - Bojan Marinković AU - Petar Maksimović AU - Aleksandar Perović TI - A Logic with Conditional Probability Operators JO - Publications de l'Institut Mathématique PY - 2010 SP - 85 VL - _N_S_87 IS - 101 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a5/ LA - en ID - PIM_2010_N_S_87_101_a5 ER -
%0 Journal Article %A Dragan Doder %A Bojan Marinković %A Petar Maksimović %A Aleksandar Perović %T A Logic with Conditional Probability Operators %J Publications de l'Institut Mathématique %D 2010 %P 85 %V _N_S_87 %N 101 %I mathdoc %U http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a5/ %G en %F PIM_2010_N_S_87_101_a5
Dragan Doder; Bojan Marinković; Petar Maksimović; Aleksandar Perović. A Logic with Conditional Probability Operators. Publications de l'Institut Mathématique, _N_S_87 (2010) no. 101, p. 85 . http://geodesic.mathdoc.fr/item/PIM_2010_N_S_87_101_a5/