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.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-9533-0330-
Show simple item record

SCOPUSTM   
Citations

13
checked on Nov 18, 2024

Page view(s)

19
checked on Nov 19, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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