11
IRUS TotalDownloads
Altmetric
A logic with conditional probability operators
| File | Description | Size | Format | |
|---|---|---|---|---|
 n101p085.pdf | Published version | 494.79 kB | Adobe PDF | View/Open |
| Title: | A logic with conditional probability operators |
| Authors: | Doder, D Marinković, B Maksimović, P Perović, A |
| Item 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. |
| Issue Date: | 14-Oct-2010 |
| Date of Acceptance: | 26-Mar-2010 |
| URI: | http://hdl.handle.net/10044/1/33009 |
| DOI: | http://dx.doi.org/10.2298/PIM1001085D |
| 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 |
| Keywords: | 0101 Pure Mathematics |
| Publication Status: | Published |
| Appears in Collections: | Computing |