| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Miloševič, Miloš | en |
| dc.contributor.author | Ognjanović, Zoran | - |
| dc.date.accessioned | 2020-02-18T20:06:27Z | - |
| dc.date.available | 2020-02-18T20:06:27Z | - |
| dc.date.issued | 2013-07-26 | en |
| dc.identifier.issn | 0350-1302 | en |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/42 | - |
| dc.description.abstract | We investigate a first-order conditional probability logic with equality, which is, up to our knowledge, the first treatise of such logic. The logic, denoted LFPOIC=, allows making statements such as: CP≥s((φ, θ), and CP6≤s((φ, θ), with the intended meaning that the conditional probability of φ given θ is at least (at most) s. The corresponding syntax, semantic, and axiomatic system are introduced, and Extended completeness theorem is proven. | en |
| dc.publisher | Mathematical Institute of the SASA | - |
| dc.relation | Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education | - |
| dc.relation | Representations of logical structures and formal languages and their application in computing | - |
| dc.relation.ispartof | Publications de l'Institut Mathematique | en |
| dc.title | A first-order conditional probability logic with iterations | en |
| dc.type | Article | en |
| dc.identifier.doi | 10.2298/PIM1307019M | en |
| dc.identifier.scopus | 2-s2.0-84880429887 | en |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
| dc.relation.firstpage | 19 | - |
| dc.relation.lastpage | 27 | - |
| dc.relation.issue | 107 | - |
| dc.relation.volume | 93 | - |
| dc.description.rank | M23 | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.openairetype | Article | - |
| item.cerifentitytype | Publications | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php | - |
| crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
| crisitem.project.fundingProgram | NATIONAL HEART, LUNG, AND BLOOD INSTITUTE | - |
| crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04 | - |
| crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
10
checked on Nov 23, 2024
Page view(s)
14
checked on Nov 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.