skip to main content
DOE PAGES title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Time-stamped claim logic

Abstract

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.

Authors:
 [1];  [1];  [2];  [3]
  1. Departamento de Matemática, Instituto Superior Técnico and CMAFcIO, ULisboa, Portugal
  2. Electronics and Computer Science, University of Southampton, UK
  3. Department of Informatics, King’s College London, UK
Publication Date:
Sponsoring Org.:
USDOE Office of Nuclear Energy (NE), Fuel Cycle Technologies (NE-5)
OSTI Identifier:
1605299
Grant/Contract Number:  
[UIDB/04561/2020]
Resource Type:
Published Article
Journal Name:
Logic Journal of the IGPL
Additional Journal Information:
[Journal Name: Logic Journal of the IGPL]; Journal ID: ISSN 1367-0751
Publisher:
Oxford University Press
Country of Publication:
Country unknown/Code not available
Language:
English

Citation Formats

Rasga, João, Sernadas, Cristina, Karafili, Erisa, and Viganò, Luca. Time-stamped claim logic. Country unknown/Code not available: N. p., 2020. Web. doi:10.1093/jigpal/jzaa001.
Rasga, João, Sernadas, Cristina, Karafili, Erisa, & Viganò, Luca. Time-stamped claim logic. Country unknown/Code not available. doi:10.1093/jigpal/jzaa001.
Rasga, João, Sernadas, Cristina, Karafili, Erisa, and Viganò, Luca. Wed . "Time-stamped claim logic". Country unknown/Code not available. doi:10.1093/jigpal/jzaa001.
@article{osti_1605299,
title = {Time-stamped claim logic},
author = {Rasga, João and Sernadas, Cristina and Karafili, Erisa and Viganò, Luca},
abstractNote = {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.},
doi = {10.1093/jigpal/jzaa001},
journal = {Logic Journal of the IGPL},
number = ,
volume = ,
place = {Country unknown/Code not available},
year = {2020},
month = {3}
}

Journal Article:
Free Publicly Available Full Text
Publisher's Version of Record
DOI: 10.1093/jigpal/jzaa001

Save / Share:

Works referenced in this record:

A Logical Account of Formal Argumentation
journal, November 2009


Fibring Argumentation Frames
journal, November 2009


Fibring Labelled Deduction Systems
journal, June 2002


Modelling and refinement of forensic data acquisition specifications
journal, June 2014


A quantified logic of evidence
journal, March 2008


Probabilistic Justification Logic
journal, February 2018


Justifications for common knowledge
journal, January 2011

  • Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
  • Journal of Applied Non-Classical Logics, Vol. 21, Issue 1
  • DOI: 10.3166/jancl.21.35-60

Explicit Provability and Constructive Semantics
journal, March 2001

  • Artemov, Sergei N.
  • Bulletin of Symbolic Logic, Vol. 7, Issue 1
  • DOI: 10.2307/2687821

A Framework for Decision Fusion in Image Forensics Based on Dempster–Shafer Theory of Evidence
journal, April 2013

  • Fontani, Marco; Bianchi, Tiziano; De Rosa, Alessia
  • IEEE Transactions on Information Forensics and Security, Vol. 8, Issue 4
  • DOI: 10.1109/TIFS.2013.2248727

Preservation of Craig interpolation by the product of matrix logics
journal, September 2013


The Logic of Justification
journal, December 2008


A Logic for Reasoning about Evidence
journal, May 2006

  • Halpern, J. Y.; Pucella, R.
  • Journal of Artificial Intelligence Research, Vol. 26
  • DOI: 10.1613/jair.1838

The logic of justified belief, explicit knowledge, and conclusive evidence
journal, January 2014

  • Baltag, Alexandru; Renne, Bryan; Smets, Sonja
  • Annals of Pure and Applied Logic, Vol. 165, Issue 1
  • DOI: 10.1016/j.apal.2013.07.005