DC FieldValueLanguage
dc.contributor.authorDautović, Šejlaen_US
dc.contributor.authorDoder, Draganen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.date.accessioned2023-11-20T09:55:57Z-
dc.date.available2023-11-20T09:55:57Z-
dc.date.issued2023-12-01-
dc.identifier.issn0888-613X-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5205-
dc.description.abstractWe present a proof-theoretical and model-theoretical approach to reasoning about knowledge and conditional probability. We extend both the language of epistemic logic and the language of linear weight formulas, allowing statements like “Agent Ag knows that the probability of A given B is at least a half”. We present both a propositional and a first-order version of the logic. We provide sound and complete axiomatizations for both logics and we prove decidability in the propositional case.en_US
dc.publisherElsevieren_US
dc.relation.ispartofInternational Journal of Approximate Reasoningen_US
dc.rightsAttribution 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.subjectCompleteness theorem | Decidability | Epistemic logic | Probabilistic logicen_US
dc.titleReasoning about knowledge and conditional probabilityen_US
dc.typeArticleen_US
dc.identifier.doi10.1016/j.ijar.2023.109037-
dc.identifier.scopus2-s2.0-85172738965-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage109037-
dc.relation.volume163-
dc.description.rank~M22-
item.grantfulltextopen-
item.cerifentitytypePublications-
item.fulltextWith Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
crisitem.author.orcid0000-0002-2108-3314-
crisitem.author.orcid0000-0003-2508-6480-
Files in This Item:
File Description SizeFormat
SDautovic.pdf688.06 kBAdobe PDFView/Open
Show simple item record

SCOPUSTM   
Citations

2
checked on Sep 8, 2024

Download(s)

1
checked on Sep 7, 2024

Google ScholarTM

Check

Altmetric

Altmetric


This item is licensed under a Creative Commons License Creative Commons