{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:10:26Z","timestamp":1762459826113,"version":"3.37.3"},"reference-count":30,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2020,3,18]],"date-time":"2020-03-18T00:00:00Z","timestamp":1584489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/100006129","name":"FCT","doi-asserted-by":"publisher","award":["UIDB\/04561\/2020"],"award-info":[{"award-number":["UIDB\/04561\/2020"]}],"id":[{"id":"10.13039\/100006129","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"publisher","award":["746667"],"award-info":[{"award-number":["746667"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1093\/jigpal\/jzaa001","type":"journal-article","created":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T12:10:20Z","timestamp":1579090220000},"page":"303-332","source":"Crossref","is-referenced-by-count":2,"title":["Time-stamped claim logic"],"prefix":"10.1093","volume":"29","author":[{"given":"Jo\u00e3o","family":"Rasga","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erisa","family":"Karafili","sequence":"additional","affiliation":[{"name":"Electronics and Computer Science, University of Southampton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[{"name":"Department of Informatics, King\u2019s College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2020,3,18]]},"reference":[{"key":"2021052608593362800_ref1","first-page":"127","article-title":"Planning and integrating deception into computer security defenses","volume-title":"NSPW","author":"Almeshekah","year":"2014"},{"key":"2021052608593362800_ref2","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-319-32699-3_2","article-title":"Cyber security deception","volume-title":"Cyber Deception: Building the Scientific Foundation","author":"Almeshekah","year":"2016"},{"key":"2021052608593362800_ref3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","article-title":"Explicit provability and constructive semantics","volume":"7","author":"Artemov","year":"2001","journal-title":"The Bulletin of Symbolic Logic"},{"key":"2021052608593362800_ref4","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","article-title":"The logic of justification","volume":"1","author":"Artemov","year":"2008","journal-title":"The Review of Symbolic Logic"},{"key":"2021052608593362800_ref5","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.diin.2014.04.001","article-title":"Modelling and refinement of forensic data acquisition specifications","volume":"11","author":"Aziz","year":"2014","journal-title":"Digital Investigation"},{"key":"2021052608593362800_ref6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.apal.2013.07.005","article-title":"The logic of justified belief, explicit knowledge, and conclusive evidence","volume":"165","author":"Baltag","year":"2014","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021052608593362800_ref7","first-page":"17","article-title":"Digital forensic research: the good, the bad and the unaddressed","volume-title":"Advances in Digital Forensics V - Fifth IFIP WG 11.9 International Conference on Digital Forensics","author":"Beebe","year":"2009"},{"key":"2021052608593362800_ref8","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3166\/jancl.21.35-60","article-title":"Justifications for common knowledge","volume":"21","author":"Bucheli","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2021052608593362800_ref9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","article-title":"A logical account of formal argumentation","volume":"93","author":"Caminada","year":"2009","journal-title":"Studia Logica"},{"journal-title":"Synthese","article-title":"An epistemic approach to paraconsistency: a logic of evidence and truth","author":"Carnielli","key":"2021052608593362800_ref10"},{"key":"2021052608593362800_ref11","article-title":"Analysis of the cyber attack on the Ukrainian power grid","volume-title":"Electricity Information Sharing and Analysis Center (E-ISAC)","author":"Defense Use Case","year":"2016"},{"key":"2021052608593362800_ref12","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $n$-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2021052608593362800_ref13","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.apal.2007.11.003","article-title":"A quantified logic of evidence","volume":"152","author":"Fitting","year":"2008","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021052608593362800_ref14","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1109\/TIFS.2013.2248727","article-title":"A framework for decision fusion in image forensics based on Dempster\u2013Shafer theory of evidence","volume":"8","author":"Fontani","year":"2013","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"2021052608593362800_ref15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s11225-009-9217-y","article-title":"Fibring argumentation frames","volume":"93","author":"Gabbay","year":"2009","journal-title":"Studia Logica"},{"key":"2021052608593362800_ref16","first-page":"34","article-title":"The problem of attribution in cyber security","volume":"131","author":"Goutam","year":"2015","journal-title":"International Journal of Computer Applications, Foundation of Computer Science"},{"key":"2021052608593362800_ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.1838","article-title":"A logic for reasoning about evidence","volume":"26","author":"Halpern","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2021052608593362800_ref18","first-page":"281","article-title":"A formal approach to analyzing cyber-forensics evidence","volume-title":"Proceedings of ESORICS 2018, Part I","author":"Karafili","year":"2018"},{"key":"2021052608593362800_ref19","first-page":"510","article-title":"Helping forensic analysts to attribute cyber-attacks: an argumentation-based reasoner","volume-title":"Prima","author":"Karafili","year":"2018"},{"key":"2021052608593362800_ref20","first-page":"13173","article-title":"An argumentation-based approach to assist in the investigation and attribution of cyber-attacks","author":"Karafili","year":"2019","journal-title":"CoRR, abs\/1904."},{"key":"2021052608593362800_ref21","first-page":"174","article-title":"Probabilistic justification logic","volume-title":"Logical Foundations of Computer Science, vol. 9537 of Lecture Notes in Computer Science","author":"Kokkinis","year":"2016"},{"key":"2021052608593362800_ref22","doi-asserted-by":"crossref","first-page":"2","DOI":"10.3390\/philosophies3010002","article-title":"Probabilistic justification logic","volume":"3","author":"Lurie","year":"2018","journal-title":"Philosophies"},{"key":"2021052608593362800_ref23","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/logcom\/12.3.443","article-title":"Fibring labelled deduction systems","volume":"12","author":"Rasga","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"2021052608593362800_ref24","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-319-10193-4_20","article-title":"A roadmap to decidability","volume-title":"The Road to Universal Logic","author":"Rasga","year":"2015"},{"key":"2021052608593362800_ref25","first-page":"267","article-title":"On probability and logic","volume":"74","author":"Sernadas","year":"2017","journal-title":"Portugali\u00e6Mathematica"},{"key":"2021052608593362800_ref26","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/j.jal.2013.06.001","article-title":"Preservation of Craig interpolation by the product of matrix logics","volume":"11","author":"Sernadas","year":"2013","journal-title":"Journal of Applied Logic"},{"key":"2021052608593362800_ref27","first-page":"97","article-title":"Evidence logic: A new look at neighborhood structures","volume-title":"Advances in Modal Logic","author":"van Benthem","year":"2012"},{"key":"2021052608593362800_ref28","first-page":"1","article-title":"Logical dynamics of evidence","volume-title":"Logic, Rationality, and Interaction, Volume 6953 of Lecture Notes in Computer Science","author":"van Benthem","year":"2011"},{"key":"2021052608593362800_ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"van Dirmarsch","year":"2008"},{"key":"2021052608593362800_ref30","doi-asserted-by":"crossref","DOI":"10.21236\/ADA468859","volume-title":"Techniques for Cyber Attack Attribution.","author":"Wheeler","year":"2003"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/3\/303\/38097981\/jzaa001.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/3\/303\/38097981\/jzaa001.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T04:15:52Z","timestamp":1695615352000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/29\/3\/303\/5809075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,18]]},"references-count":30,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,3,18]]},"published-print":{"date-parts":[[2021,5,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzaa001","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2021,6]]},"published":{"date-parts":[[2020,3,18]]}}}