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.publisherSpringer Link-
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.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
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-
Show simple item record

SCOPUSTM   
Citations

14
checked on Nov 23, 2024

Page view(s)

23
checked on Nov 23, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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