The Event-Based Time-Stamped Claim Logic that we define in this paper allows one to reason about distributed time-stamped claims that can change through time by the occurrence of events. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it can be applied in a number of different disciplines and application domains (e.g., history, crime forensics or cyber forensics) as it allows one to reason about a huge amount of pieces of evidence collected from different sources over time, where some of the pieces of evidence may be contradictory and some sources considered to be more trustworthy than others. We formalize the language and the semantics of the Event-Based Time-Stamped Claim Logic, provide a sound and complete Hilbert calculus, and consider some concrete examples. We also show that the validity problem for the logic is decidable by providing a tableau-like decision algorithm.

在基于事件的时间标记的索赔逻辑，我们在本文中定义允许一个原因有关分布式时间戳声称可以通过事件的发生经过时间而改变。由于理论上的原因，这种逻辑是有趣的，也就是说，作为一种逻辑本身，还因为它可以应用于许多不同的学科和应用领域（例如历史，犯罪取证或网络取证），因为它可以让人们推断随着时间的推移从不同来源收集的大量证据，其中一些证据可能是矛盾的，而某些来源则被认为比其他来源更值得信赖。我们对基于事件的带时间戳的索赔逻辑的语言和语义进行形式化，提供完善而完整的希尔伯特演算，并考虑一些具体示例。我们还表明，通过提供类似于表格的决策算法，可以确定逻辑的有效性问题。