Time-stamped claim logic
File(s)RSKV_Time-Stamped Claim Logic.pdf (350.81 KB)
Accepted version
Author(s)
Rasga, João
Sernadas, Cristina
Karafili, Erisa
Viganò, Luca
Type
Journal Article
Abstract
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study.
Date Issued
2021-06
Date Acceptance
2020-01-06
Citation
Logic Journal of the IGPL, 2021, 29 (3), pp.303-332
ISSN
1367-0751
Publisher
Oxford University Press (OUP)
Start Page
303
End Page
332
Journal / Book Title
Logic Journal of the IGPL
Volume
29
Issue
3
Sponsor
Commission of the European Communities
Identifier
https://academic.oup.com/jigpal/advance-article/doi/10.1093/jigpal/jzaa001/5809075?login=true
Grant Number
746667
Subjects
0101 Pure Mathematics
0802 Computation Theory and Mathematics
General Mathematics
Publication Status
Published
Date Publish Online
2020-03-18