DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoranen
dc.contributor.authorIkodinović, Nebojšaen
dc.date.accessioned2020-02-18T20:06:31Z-
dc.date.available2020-02-18T20:06:31Z-
dc.date.issued2007-01-01en
dc.identifier.issn0350-1302en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/69-
dc.description.abstractWe investigate probability logic with the conditional probability operators. This logic, denoted LCP, allows making statements such as: P≥sα, CP≥s,(α β), CP ≤0(α β) with the intended meaning "the probability of α is at least s", "the conditional probability of α given β is at least s", "the conditional probability of α given β at most 0". A possible-world approach is proposed to give semantics to such formulas. Every world of a given set of worlds is equipped with a probability space and conditional probability is derived in the usual way: P(α β) = P(β)/P(αΛβ), P(β) > 0, by the (unconditional) probability measure that is defined on an algebra of subsets of possible worlds. Infinitary axiomatic system for our logic which is sound and complete with respect to the mentioned class of models is given. Decidability of the presented logic is proved.en
dc.publisherMathematical Institute of the SASA-
dc.relation.ispartofPublications de l'Institut Mathematiqueen
dc.titleA logic with higher order conditional probabilitiesen
dc.typeArticleen
dc.identifier.doi10.2298/PIM0796141Oen
dc.identifier.scopus2-s2.0-51549117679en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage141-
dc.relation.lastpage154-
dc.relation.volume96-
dc.description.rankM24-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2508-6480-

#### SCOPUSTM Citations

13
checked on Jun 14, 2024

#### Page view(s)

58
checked on May 9, 2024