DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorSavić, Nenaden
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:22Z-
dc.date.available2020-02-18T20:06:22Z-
dc.date.issued2020-01-01en
dc.identifier.issn0925-8531en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/7-
dc.description.abstractWe present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.en
dc.publisherSpringer Link-
dc.relationSchweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung-
dc.relationDevelopment 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.relationAdvanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security-
dc.relationRepresentations of logical structures and formal languages and their application in computing-
dc.relation.ispartofJournal of Logic, Language and Informationen
dc.subjectCompleteness theorem | Decidability | Probabilistic logic | Upper and lower probabilitiesen
dc.titleMulti-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilitiesen
dc.typeArticleen
dc.identifier.doi10.1007/s10849-019-09301-7en
dc.identifier.scopus2-s2.0-85072218854en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.grantno200021_165549-
dc.relation.grantno44006-
dc.relation.grantno174008-
dc.relation.grantno174026-
dc.relation.firstpage77-
dc.relation.lastpage107-
dc.relation.volume29-
dc.description.rankM21-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174008e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.fundingProgramDirectorate for Education & Human Resources-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Education & Human Resources/1740089-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
Show simple item record

SCOPUSTM   
Citations

5
checked on May 7, 2024

Page view(s)

135
checked on May 7, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.