DC Field | Value | Language |
---|---|---|
dc.contributor.author | Milošević, Miloš | en |
dc.contributor.author | Ognjanović, Zoran | en |
dc.date.accessioned | 2020-02-18T20:06:28Z | - |
dc.date.available | 2020-02-18T20:06:28Z | - |
dc.date.issued | 2012-02-01 | en |
dc.identifier.issn | 1367-0751 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/49 | - |
dc.description.abstract | In this article, we present the probability logic LFOCP which is suitable to formalize statements about conditional probabilities of first order formulas. The logical language contains formulas such as CP ≥s (φ,Θ) and CP≤s (φ,Θ) with the intended meaning 'the conditional probability of φ given Θ is at least s' and 'at most s', respectively, where φ and Θ are first-order formulas. We introduce a class of first order Kripke-like models that combine properties of the usual Kripke models and finitely additive probabilities. We propose an infinitary axiom system and prove that it is sound and strongly complete with respect to the considered class of models. In this article, the terms finitary and infinitary concern meta language only, i.e. the logical language is countable, formulas are finite, while only proofs are allowed to be infinite. We analyse decidability of LFOCP and provide a procedure which decides satisfiability of a given conditional probability formula, in the case when the underlying first order theory is decidable. Relationships to other systems and possible extensions of the presented approach are discussed. | en |
dc.publisher | Oxford University Press | - |
dc.relation.ispartof | Logic Journal of the IGPL | en |
dc.subject | Completeness | Conditional probability | Decidability | Probability logic | en |
dc.title | A first-order conditional probability logic | en |
dc.type | Article | en |
dc.identifier.doi | 10.1093/jigpal/jzr033 | en |
dc.identifier.scopus | 2-s2.0-84856143143 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 235 | - |
dc.relation.lastpage | 253 | - |
dc.relation.issue | 1 | - |
dc.relation.volume | 20 | - |
dc.description.rank | M21a | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
item.fulltext | No Fulltext | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
20
checked on Mar 28, 2024
Page view(s)
51
checked on Mar 29, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.