DC FieldValueLanguage
dc.contributor.authorDoder, Draganen
dc.contributor.authorOgnjanović, Zoranen
dc.date.accessioned2020-02-18T20:06:24Z-
dc.date.available2020-02-18T20:06:24Z-
dc.date.issued2017-10-01en
dc.identifier.issn0039-3215en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/14-
dc.description.abstractThe main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [14] to obtain several variants of probabilistic logics by adding the operators for independence and confirmation to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discuss decidability issues.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.ispartofStudia Logicaen
dc.subjectAxiomatization | Completeness theorem | Decidability | Independence | Probabilistic supporten
dc.titleProbabilistic Logics with Independence and Confirmationen
dc.typeArticleen
dc.identifier.doi10.1007/s11225-017-9718-zen
dc.identifier.scopus2-s2.0-85017112876en
dc.relation.firstpage943-
dc.relation.lastpage969-
dc.relation.issue5-
dc.relation.volume105-
dc.description.rankM22-
item.cerifentitytypePublications-
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
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-
crisitem.author.orcid0000-0003-2508-6480-

#### SCOPUSTM Citations

11
checked on Jun 9, 2023

#### Page view(s)

23
checked on Jun 10, 2023