DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorIlić Stepić, Angelinaen_US
dc.contributor.authorPerović, Aleksandaren_US
dc.date.accessioned2024-02-09T09:23:58Z-
dc.date.available2024-02-09T09:23:58Z-
dc.date.issued2024-
dc.identifier.issn1367-0751-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5284-
dc.description.abstractThe paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic PTEL is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend PTEL to axiomatize the corresponding first-order logic.en_US
dc.publisherOxford Academicen_US
dc.relationAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBCen_US
dc.relation.ispartofLogic Journal of the IGPLen_US
dc.rightsAttribution 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/*
dc.titleA probabilistic temporal epistemic logic: Strong completenessen_US
dc.typeArticleen_US
dc.identifier.doi10.1093/jigpal/jzac072-
dc.identifier.scopus2-s2.0-85183667135-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage94-
dc.relation.lastpage138-
dc.relation.issue1-
dc.relation.volume32-
dc.description.rank~M21a-
item.cerifentitytypePublications-
item.openairetypeArticle-
item.grantfulltextopen-
item.fulltextWith Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
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-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.author.orcid0000-0002-9771-1196-
Files in This Item:
File Description SizeFormat
ZOgnjanovic.pdf16.78 MBAdobe PDFView/Open
Show simple item record

Page view(s)

29
checked on Dec 22, 2024

Download(s)

7
checked on Dec 22, 2024

Google ScholarTM

Check

Altmetric

Altmetric


This item is licensed under a Creative Commons License Creative Commons