DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorMarinković, Bojanen
dc.contributor.authorMaksimović, Petaren
dc.contributor.authorPerović, Aleksandaren
dc.date.accessioned2020-05-01T20:12:34Z-
dc.date.available2020-05-01T20:12:34Z-
dc.date.issued2010-10-14en
dc.identifier.issn0350-1302en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/1011-
dc.description.abstractWe 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.en
dc.publisherMathematical Institute of the SASA-
dc.relationMinistry of Science, Republic of Serbia, Grant 144013: Representations of logical structures and their application in computer science-
dc.relation.ispartofPublications de l'Institut Mathematiqueen
dc.titleA logic with conditional probability operatorsen
dc.typeArticleen
dc.identifier.doi10.2298/PIM1001085Den
dc.identifier.scopus2-s2.0-77957727334en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage85en
dc.relation.lastpage96en
dc.relation.issue101en
dc.relation.volume87en
dc.description.rankM24-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
item.openairetypeArticle-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-9533-0330-
Show simple item record

SCOPUSTM   
Citations

14
checked on Jan 27, 2026

Page view(s)

96
checked on Jan 26, 2026

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.