DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ognjanović, Zoran | en |
dc.contributor.author | Rašković, Miodrag | en |
dc.date.accessioned | 2020-02-18T20:06:32Z | - |
dc.date.available | 2020-02-18T20:06:32Z | - |
dc.date.issued | 2000-09-28 | en |
dc.identifier.issn | 0304-3975 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/82 | - |
dc.description.abstract | We present some first-order probability logics. The logics allow making statements such as P≥sα, with the intended meaning "the probability of truthfulness of a is greater than or equal to s". We describe the corresponding probability models. We give a sound and complete infinitary axiomatic system for the most general of our logics, while for some restrictions of this logic we provide finitary axiomatic systems. We study the decidability of our logics. We discuss some of the related papers. | en |
dc.publisher | Elsevier | - |
dc.relation | This research was supported by the Ministarstvo za nauku i tehnologiju Republike Srbije, through Matematicki institut, grant number 04M02 | - |
dc.relation.ispartof | Theoretical Computer Science | en |
dc.subject | Completeness | First order logic | Possible worlds | Probability | en |
dc.title | Some first-order probability logics | en |
dc.type | Article | en |
dc.identifier.doi | 10.1016/S0304-3975(98)00341-7 | en |
dc.identifier.scopus | 2-s2.0-0038814892 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.grantno | 04M02 | - |
dc.relation.firstpage | 191 | - |
dc.relation.lastpage | 212 | - |
dc.relation.issue | 1-2 | - |
dc.relation.volume | 247 | - |
dc.description.rank | M23 | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
78
checked on Sep 7, 2024
Page view(s)
3
checked on Sep 7, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.