DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dautović, Šejla | en_US |
dc.contributor.author | Doder, Dragan | en_US |
dc.contributor.author | Ognjanović, Zoran | en_US |
dc.date.accessioned | 2021-08-17T08:55:55Z | - |
dc.date.available | 2021-08-17T08:55:55Z | - |
dc.date.issued | 2021-05-31 | - |
dc.identifier.issn | 0955-792X | - |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/4631 | - |
dc.description.abstract | In this paper, we present a first-order and a propositional logic for reasoning about degrees of confirmation. We define the appropriate formal languages and describe the corresponding classes of models. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. We also show that our propositional logic is decidable. For some restrictions of the logics, we provide finitary axiomatic systems. | en_US |
dc.publisher | Oxford Academic Press | en_US |
dc.relation.ispartof | Journal of Logic and Computation | en_US |
dc.title | Logics for reasoning about degrees of confirmation | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1093/logcom/exab033 | - |
dc.identifier.url | https://academic.oup.com/logcom/article-pdf/31/8/2189/41808968/exab033.pdf | - |
dc.contributor.affiliation | Mathematics | en_US |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | exab033 | - |
dc.relation.firstpage | 2189 | - |
dc.relation.lastpage | 2217 | - |
dc.relation.issue | 8 | - |
dc.relation.volume | 31 | - |
dc.description.rank | ~M21 | - |
item.openairetype | Article | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.orcid | 0000-0002-2108-3314 | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
1
checked on Apr 16, 2024
Page view(s)
113
checked on Apr 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.