DC FieldValueLanguage
dc.contributor.authorSavić, Nenaden
dc.contributor.authorDoder, Draganen
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:26Z-
dc.date.available2020-02-18T20:06:26Z-
dc.date.issued2015-01-01en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/26-
dc.description.abstractWe present a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models and discuss decidability issues. We provide an infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete. For some restrictions of the logic we provide finitary axiomatic systems.en
dc.relationRepresentations of logical structures and formal languages and their application in computing-
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.relationNational Research Fund (FNR) of Luxembourg, project PRIMAT-
dc.relation.ispartofISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applicationsen
dc.subjectAxiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilitiesen
dc.titleA logic with upper and lower probability operatorsen
dc.typeConference Paperen
dc.relation.conference9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015-
dc.identifier.scopus2-s2.0-85020737632en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage267-
dc.relation.lastpage276-
dc.description.rankM33-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeConference Paper-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/044006e.php-
crisitem.project.fundingProgramDirectorate for Social, Behavioral & Economic Sciences-
crisitem.project.fundingProgramNATIONAL HEART, LUNG, AND BLOOD INSTITUTE-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267-
crisitem.project.openAireinfo:eu-repo/grantAgreement/NIH/NATIONAL HEART, LUNG, AND BLOOD INSTITUTE/5R01HL044006-04-
Show simple item record

SCOPUSTM   
Citations

3
checked on Jun 16, 2024

Page view(s)

58
checked on May 10, 2024

Google ScholarTM

Check


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