×

Event-based time-stamped claim logic. (English) Zbl 07377685

Summary: 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.

MSC:

03B44 Temporal logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Rasga, J.; Sernadas, C.; Karafili, E.; Viganò, L., Time-stamped claim logic, Log. J. IGPL (2020)
[2] Finger, M.; Gabbay, D., Adding a temporal dimension to a logic system, J. Log. Lang. Inf., 1, 3, 203-233 (1992) · Zbl 0798.03031
[3] Prior, A., Past, Present and Future (1967), Oxford University Press · Zbl 0169.29802
[4] Goldblatt, R., Logics of Time and Computation (1987), Center for the Study of Language and Information · Zbl 0635.03024
[5] Gabbay, D.; Hodkinson, I.; Reynolds, M., Temporal Logic: Mathematical Foundations and Computational Aspects (1994), Clarendon Press · Zbl 0921.03023
[6] Venema, Y., Temporal logic, (Goble, L., Philosophical Logic (2001), Blackwell), 203-223 · Zbl 0997.03019
[7] Wolter, F.; Wooldridge, M., Temporal and dynamic logic, J. Indian Counc. Philos. Res., 27, 1, 249-276 (2010)
[8] Viganò, L., Labelled Non-Classical Logics (2000), Kluwer · Zbl 1003.03001
[9] Viganò, L.; Volpe, M., Labeled natural deduction systems for a family of tense logics, (Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME) (2008), IEEE Computer Society), 118-126
[10] Basin, D. A.; Caleiro, C.; Ramos, J.; Viganò, L., Labelled tableaux for distributed temporal logic, J. Log. Comput., 19, 6, 1245-1279 (2009) · Zbl 1196.03044
[11] Gabbay, D. M.; Pnueli, A.; Shelah, S.; Stavi, J., On the temporal basis of fairness, (Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages (1980), ACM Press), 163-173
[12] van Benthem, J., The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (2013), Springer · Zbl 0508.03008
[13] Finger, M.; Weiss, M. A., The unrestricted combination of temporal logic systems, Log. J. IGPL, 10, 2, 165-189 (2002) · Zbl 1003.03015
[14] Wolper, P., The tableau method for temporal logic: an overview, Log. Anal., 28, 110/111, 119-136 (1995) · Zbl 0585.03008
[15] Vardi, M. Y., Automata-theoretic techniques for temporal reasoning, (Handbook of Modal Logic (2007), North-Holland), 971-989
[16] Burgess, J. P.; Gurevich, Y., The decision problem for linear temporal logic, Notre Dame J. Form. Log., 26, 2, 115-128 (1985) · Zbl 0573.03004
[17] Fischer, M. J.; Ladner, R. E., Propositional dynamic logic of regular programs, J. Comput. Syst. Sci., 18, 2, 194-211 (1979) · Zbl 0408.03014
[18] Henkin, L., The completeness of the first-order functional calculus, J. Symb. Log., 14, 3, 159-166 (1949) · Zbl 0034.00602
[19] Karafili, E.; Cristani, M.; Viganò, L., A formal approach to analyzing cyber-forensics evidence, (Proceedings of ESORICS. Proceedings of ESORICS, LNCS, vol. 11098 (2018), Springer), 281-301
[20] Emerson, E. A., Temporal and modal logic, (van Leeuwen, J., Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics (1990), Elsevier), 996-1072 · Zbl 0900.03030
[21] Coquand, T., Decidability proof of linear temporal logic (2011)
[22] Artemov, S., The logic of justification, Rev. Symb. Log., 1, 4, 477-513 (2008) · Zbl 1205.03027
[23] Fitting, M., A quantified logic of evidence, Ann. Pure Appl. Log., 152, 1-3, 67-83 (2008) · Zbl 1133.03008
[24] Bucheli, S.; Kuznets, R.; Studer, T., Justifications for common knowledge, J. Appl. Non-Class. Log., 21, 1, 35-60 (2011) · Zbl 1242.03036
[25] Bucheli, S.; Ghari, M.; Studer, T., Temporal justification logic, (Methods for Modalities. Methods for Modalities, EPTCS, vol. 243 (2017)), 59-74
[26] Artemov, S., Explicit provability and constructive semantics, Bull. Symb. Log., 7, 1, 1-36 (2001) · Zbl 0980.03059
[27] van Benthem, J.; Pacuit, E., Logical dynamics of evidence, (Logic, Rationality, and Interaction. Logic, Rationality, and Interaction, LNCS, vol. 6953 (2011), Springer), 1-27 · Zbl 1298.68261
[28] van Benthem, J.; Fernández-Duque, D.; Pacuit, E., Evidence Logic: A New Look at Neighborhood Structures, Advances in Modal Logic, vol. 9, 97-118 (2012), College Publications: College Publications London · Zbl 1291.03027
[29] Baltag, A.; Renne, B.; Smets, S., The logic of justified belief, explicit knowledge, and conclusive evidence, Ann. Pure Appl. Log., 165, 1, 49-81 (2014) · Zbl 1300.03015
[30] Caminada, M.; Gabbay, D. M., A logical account of formal argumentation, Stud. Log., 93, 2-3, 109-145 (2009) · Zbl 1188.03011
[31] Carnielli, W. A.; Rodrigues, A., An epistemic approach to paraconsistency: a logic of evidence and truth, Synthese, 196, 3789-3813 (2019) · Zbl 1475.03016
[32] Bucheli, S.; Ghari, M.; Studer, T., Temporal justification logic, (Proceedings of the Ninth Workshop on Methods for Modalities. Proceedings of the Ninth Workshop on Methods for Modalities, EPTCS, vol. 243 (2017)), 59-74
[33] Sernadas, C.; Rasga, J.; Sernadas, A., Preservation of Craig interpolation by the product of matrix logics, J. Appl. Log., 11, 3, 328-349 (2013) · Zbl 1284.03214
[34] Manna, Z.; Pnueli, A., Temporal Verification of Reactive Systems - Safety (1995), Springer
[35] van Dirmarsch, H.; van der Hoek, W.; Kooi, B., Dynamic Epistemic Logic (2008), Springer · Zbl 1156.03015
[36] Lurie, J., Probabilistic justification logic, Philos., 3, 1, 2 (2018)
[37] Kokkinis, I.; Ognjanović, Z.; Studer, T., Probabilistic justification logic, (Logical Foundations of Computer Science. Logical Foundations of Computer Science, LNCS, vol. 9537 (2016), Springer), 174-186 · Zbl 1476.03013
[38] Sernadas, A.; Rasga, J.; Sernadas, C., On probability and logic, Port. Math., 74, 4, 267-313 (2017) · Zbl 1448.03015
[39] Halpern, J. Y.; Pucella, R., A logic for reasoning about evidence, J. Artif. Intell. Res., 26, 1-34 (2006) · Zbl 1182.68244
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.