DC FieldValueLanguage
dc.contributor.authorDautović, Šejlaen_US
dc.date.accessioned2022-04-26T10:52:18Z-
dc.date.available2022-04-26T10:52:18Z-
dc.date.issued2022-01-01-
dc.identifier.issn1661-8297-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/4779-
dc.description.abstractAn extension of the propositional probability logic LPP2 given in Ognjanović et al. (Probability Logics. Probability-Based Formalization of Uncertain Reasoning, Theoretical Springer, Cham, Switzerland, 2016) that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.en_US
dc.publisherSpringer Linken_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.relation.ispartofLogica Universalisen_US
dc.subjectCompleteness theorem | Decidability | Probabilistic logicen_US
dc.titleA Probabilistic Logic Between LPP1 and LPP2en_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s11787-022-00301-z-
dc.identifier.scopus2-s2.0-85124073881-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.description.rank~M22-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-2108-3314-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/description.php-
crisitem.project.projectURLhttp://www.mi.sanu.ac.rs/novi_sajt/research/projects/AI4TrustBC/participants.php-
Show simple item record

SCOPUSTM   
Citations

1
checked on Jun 15, 2024

Page view(s)

83
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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