Event-Based Time-Stamped Claim Logic
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...
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 121; p. 100684 |
|---|---|
| Main Authors | , , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
01.06.2021
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| ArticleNumber | 100684 |
| Author | Ramos, Jaime Sernadas, Cristina Viganò, Luca Rasga, João |
| Author_xml | – sequence: 1 givenname: Jaime surname: Ramos fullname: Ramos, Jaime organization: Departamento de Matemática, Instituto Superior Técnico, ULisboa, Lisboa, Portugal – sequence: 2 givenname: João surname: Rasga fullname: Rasga, João organization: Departamento de Matemática, Instituto Superior Técnico, ULisboa, Lisboa, Portugal – sequence: 3 givenname: Cristina orcidid: 0000-0002-5510-3512 surname: Sernadas fullname: Sernadas, Cristina email: cristina.sernadas@tecnico.ulisboa.pt organization: Departamento de Matemática, Instituto Superior Técnico, ULisboa, Lisboa, Portugal – sequence: 4 givenname: Luca surname: Viganò fullname: Viganò, Luca organization: Department of Informatics, King's College London, London, UK |
| BookMark | eNp9jz9PwzAQxT0UiVL6CVg6sCbYZ-yYgQGiUpAiMVBmyz1fkKP8qeKoEt8elzAz3d27e0_3u2KLfuiJsRvBc8GFvmvypnXdMQcOIilcm_sFW4JUkAFwc8nWMTacp1NTGCmW7HZ7on7Knl0kv9mHjrKPKQWkoWxd6DbV8BXwml3Uro20_qsr9vmy3ZevWfW-eyufqgxBySkrhHpQCMILBGMUN-SFrFNTqLThBwR0gHRASdoV4MEr7aAwHEgXGr1cMTnn4jjEOFJtj2Po3PhtBbdnPtvYXz575rMzX3I9zi5Kr50CjTZioB7Jh5Fwsn4I__p_AJX9Wxw |
| Cites_doi | 10.2307/2267044 10.1016/j.apal.2013.07.005 10.1016/j.jal.2013.06.001 10.1305/ndjfl/1093870820 10.2307/2687821 10.1093/jigpal/10.2.165 10.1007/BF00156915 10.1016/j.apal.2007.11.003 10.1007/s11225-009-9218-x 10.4171/pm/2007 10.3166/jancl.21.35-60 10.1017/S1755020308090060 10.1007/s11229-017-1621-7 10.1093/logcom/exp022 10.1613/jair.1838 10.1016/0022-0000(79)90046-1 |
| ContentType | Journal Article |
| Copyright | 2021 Elsevier Inc. |
| Copyright_xml | – notice: 2021 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2021.100684 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2021_100684 S235222082100047X |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO AAYFN ABBOA ABMAC ABVKL ABXDB ABYKQ ACDAQ ACGFS ACRLP ADBBV ADEZE AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 NCXOZ O9- OAUVE RIG ROL SPC SPCBC SSV SSZ T5K ~G- AATTM AAXKI AAYWO AAYXX ABJNI ACVFH ADCNI ADVLN AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU BNPGV CITATION SSH |
| ID | FETCH-LOGICAL-c253t-71595c21d1c288508ed13f850751590bc2ca2cebc3e6a72d2d56a27802e676cd3 |
| IEDL.DBID | AIKHN |
| ISSN | 2352-2208 |
| IngestDate | Thu Jul 03 08:20:27 EDT 2025 Fri Feb 23 02:45:47 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Time-stamps Decidability Events Completeness Linear temporal logic |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c253t-71595c21d1c288508ed13f850751590bc2ca2cebc3e6a72d2d56a27802e676cd3 |
| ORCID | 0000-0002-5510-3512 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2021_100684 elsevier_sciencedirect_doi_10_1016_j_jlamp_2021_100684 |
| PublicationCentury | 2000 |
| PublicationDate | June 2021 2021-06-00 |
| PublicationDateYYYYMMDD | 2021-06-01 |
| PublicationDate_xml | – month: 06 year: 2021 text: June 2021 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2021 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Basin, Caleiro, Ramos, Viganò (br0100) 2009; 19 Bucheli, Kuznets, Studer (br0240) 2011; 21 Manna, Pnueli (br0340) 1995 van Benthem, Fernández-Duque, Pacuit (br0280) 2012; vol. 9 Fischer, Ladner (br0170) 1979; 18 van Benthem, Pacuit (br0270) 2011; vol. 6953 Coquand (br0210) 2011 Bucheli, Ghari, Studer (br0320) 2017; vol. 243 Prior (br0030) 1967 van Benthem (br0120) 2013 Artemov (br0220) 2008; 1 Finger, Weiss (br0130) 2002; 10 Sernadas, Rasga, Sernadas (br0330) 2013; 11 Gabbay, Pnueli, Shelah, Stavi (br0110) 1980 Sernadas, Rasga, Sernadas (br0380) 2017; 74 Viganò (br0080) 2000 Henkin (br0180) 1949; 14 Kokkinis, Ognjanović, Studer (br0370) 2016; vol. 9537 Viganò, Volpe (br0090) 2008 Lurie (br0360) 2018; 3 Wolper (br0140) 1995; 28 Burgess, Gurevich (br0160) 1985; 26 Carnielli, Rodrigues (br0310) 2019; 196 Emerson (br0200) 1990 Bucheli, Ghari, Studer (br0250) 2017; vol. 243 Goldblatt (br0040) 1987 Rasga, Sernadas, Karafili, Viganò (br0010) 2020 Venema (br0060) 2001 Fitting (br0230) 2008; 152 Artemov (br0260) 2001; 7 Wolter, Wooldridge (br0070) 2010; 27 Finger, Gabbay (br0020) 1992; 1 van Dirmarsch, van der Hoek, Kooi (br0350) 2008 Karafili, Cristani, Viganò (br0190) 2018; vol. 11098 Halpern, Pucella (br0390) 2006; 26 Vardi (br0150) 2007 Gabbay, Hodkinson, Reynolds (br0050) 1994 Caminada, Gabbay (br0300) 2009; 93 Baltag, Renne, Smets (br0290) 2014; 165 Caminada (10.1016/j.jlamp.2021.100684_br0300) 2009; 93 Carnielli (10.1016/j.jlamp.2021.100684_br0310) 2019; 196 Basin (10.1016/j.jlamp.2021.100684_br0100) 2009; 19 Gabbay (10.1016/j.jlamp.2021.100684_br0110) 1980 van Benthem (10.1016/j.jlamp.2021.100684_br0120) 2013 Artemov (10.1016/j.jlamp.2021.100684_br0260) 2001; 7 Sernadas (10.1016/j.jlamp.2021.100684_br0330) 2013; 11 Finger (10.1016/j.jlamp.2021.100684_br0130) 2002; 10 Venema (10.1016/j.jlamp.2021.100684_br0060) 2001 Goldblatt (10.1016/j.jlamp.2021.100684_br0040) 1987 Viganò (10.1016/j.jlamp.2021.100684_br0090) 2008 Bucheli (10.1016/j.jlamp.2021.100684_br0250) 2017; vol. 243 Halpern (10.1016/j.jlamp.2021.100684_br0390) 2006; 26 van Benthem (10.1016/j.jlamp.2021.100684_br0270) 2011; vol. 6953 Wolper (10.1016/j.jlamp.2021.100684_br0140) 1995; 28 van Benthem (10.1016/j.jlamp.2021.100684_br0280) 2012; vol. 9 Prior (10.1016/j.jlamp.2021.100684_br0030) 1967 Bucheli (10.1016/j.jlamp.2021.100684_br0320) 2017; vol. 243 Viganò (10.1016/j.jlamp.2021.100684_br0080) 2000 Fischer (10.1016/j.jlamp.2021.100684_br0170) 1979; 18 Burgess (10.1016/j.jlamp.2021.100684_br0160) 1985; 26 Karafili (10.1016/j.jlamp.2021.100684_br0190) 2018; vol. 11098 Lurie (10.1016/j.jlamp.2021.100684_br0360) 2018; 3 Kokkinis (10.1016/j.jlamp.2021.100684_br0370) 2016; vol. 9537 Manna (10.1016/j.jlamp.2021.100684_br0340) 1995 Gabbay (10.1016/j.jlamp.2021.100684_br0050) 1994 Vardi (10.1016/j.jlamp.2021.100684_br0150) 2007 Sernadas (10.1016/j.jlamp.2021.100684_br0380) 2017; 74 Finger (10.1016/j.jlamp.2021.100684_br0020) 1992; 1 Artemov (10.1016/j.jlamp.2021.100684_br0220) 2008; 1 Baltag (10.1016/j.jlamp.2021.100684_br0290) 2014; 165 Wolter (10.1016/j.jlamp.2021.100684_br0070) 2010; 27 Coquand (10.1016/j.jlamp.2021.100684_br0210) van Dirmarsch (10.1016/j.jlamp.2021.100684_br0350) 2008 Bucheli (10.1016/j.jlamp.2021.100684_br0240) 2011; 21 Rasga (10.1016/j.jlamp.2021.100684_br0010) 2020 Fitting (10.1016/j.jlamp.2021.100684_br0230) 2008; 152 Emerson (10.1016/j.jlamp.2021.100684_br0200) 1990 Henkin (10.1016/j.jlamp.2021.100684_br0180) 1949; 14 |
| References_xml | – start-page: 996 year: 1990 end-page: 1072 ident: br0200 article-title: Temporal and modal logic publication-title: Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics – start-page: 118 year: 2008 end-page: 126 ident: br0090 article-title: Labeled natural deduction systems for a family of tense logics publication-title: Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME) – volume: 26 start-page: 115 year: 1985 end-page: 128 ident: br0160 article-title: The decision problem for linear temporal logic publication-title: Notre Dame J. Form. Log. – volume: 3 start-page: 2 year: 2018 ident: br0360 article-title: Probabilistic justification logic publication-title: Philos. – volume: 19 start-page: 1245 year: 2009 end-page: 1279 ident: br0100 article-title: Labelled tableaux for distributed temporal logic publication-title: J. Log. Comput. – start-page: 971 year: 2007 end-page: 989 ident: br0150 article-title: Automata-theoretic techniques for temporal reasoning publication-title: Handbook of Modal Logic – year: 1995 ident: br0340 article-title: Temporal Verification of Reactive Systems - Safety – volume: 26 start-page: 1 year: 2006 end-page: 34 ident: br0390 article-title: A logic for reasoning about evidence publication-title: J. Artif. Intell. Res. – volume: 1 start-page: 203 year: 1992 end-page: 233 ident: br0020 article-title: Adding a temporal dimension to a logic system publication-title: J. Log. Lang. Inf. – year: 2008 ident: br0350 article-title: Dynamic Epistemic Logic – volume: 14 start-page: 159 year: 1949 end-page: 166 ident: br0180 article-title: The completeness of the first-order functional calculus publication-title: J. Symb. Log. – volume: vol. 11098 start-page: 281 year: 2018 end-page: 301 ident: br0190 article-title: A formal approach to analyzing cyber-forensics evidence publication-title: Proceedings of ESORICS – volume: vol. 6953 start-page: 1 year: 2011 end-page: 27 ident: br0270 article-title: Logical dynamics of evidence publication-title: Logic, Rationality, and Interaction – volume: 165 start-page: 49 year: 2014 end-page: 81 ident: br0290 article-title: The logic of justified belief, explicit knowledge, and conclusive evidence publication-title: Ann. Pure Appl. Log. – volume: 196 start-page: 3789 year: 2019 end-page: 3813 ident: br0310 article-title: An epistemic approach to paraconsistency: a logic of evidence and truth publication-title: Synthese – volume: 21 start-page: 35 year: 2011 end-page: 60 ident: br0240 article-title: Justifications for common knowledge publication-title: J. Appl. Non-Class. Log. – year: 1994 ident: br0050 article-title: Temporal Logic: Mathematical Foundations and Computational Aspects – volume: 152 start-page: 67 year: 2008 end-page: 83 ident: br0230 article-title: A quantified logic of evidence publication-title: Ann. Pure Appl. Log. – volume: vol. 9537 start-page: 174 year: 2016 end-page: 186 ident: br0370 article-title: Probabilistic justification logic publication-title: Logical Foundations of Computer Science – volume: 74 start-page: 267 year: 2017 end-page: 313 ident: br0380 article-title: On probability and logic publication-title: Port. Math. – year: 2000 ident: br0080 article-title: Labelled Non-Classical Logics – volume: 18 start-page: 194 year: 1979 end-page: 211 ident: br0170 article-title: Propositional dynamic logic of regular programs publication-title: J. Comput. Syst. Sci. – start-page: 163 year: 1980 end-page: 173 ident: br0110 article-title: On the temporal basis of fairness publication-title: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages – year: 2013 ident: br0120 article-title: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse – year: 2020 ident: br0010 article-title: Time-stamped claim logic publication-title: Log. J. IGPL – volume: 27 start-page: 249 year: 2010 end-page: 276 ident: br0070 article-title: Temporal and dynamic logic publication-title: J. Indian Counc. Philos. Res. – volume: 93 start-page: 109 year: 2009 end-page: 145 ident: br0300 article-title: A logical account of formal argumentation publication-title: Stud. Log. – year: 1967 ident: br0030 article-title: Past, Present and Future – volume: 1 start-page: 477 year: 2008 end-page: 513 ident: br0220 article-title: The logic of justification publication-title: Rev. Symb. Log. – volume: 11 start-page: 328 year: 2013 end-page: 349 ident: br0330 article-title: Preservation of Craig interpolation by the product of matrix logics publication-title: J. Appl. Log. – volume: 7 start-page: 1 year: 2001 end-page: 36 ident: br0260 article-title: Explicit provability and constructive semantics publication-title: Bull. Symb. Log. – start-page: 203 year: 2001 end-page: 223 ident: br0060 article-title: Temporal logic publication-title: Philosophical Logic – volume: 10 start-page: 165 year: 2002 end-page: 189 ident: br0130 article-title: The unrestricted combination of temporal logic systems publication-title: Log. J. IGPL – year: 2011 ident: br0210 article-title: Decidability proof of linear temporal logic – volume: vol. 243 start-page: 59 year: 2017 end-page: 74 ident: br0250 article-title: Temporal justification logic publication-title: Methods for Modalities – volume: vol. 243 start-page: 59 year: 2017 end-page: 74 ident: br0320 article-title: Temporal justification logic publication-title: Proceedings of the Ninth Workshop on Methods for Modalities – volume: vol. 9 start-page: 97 year: 2012 end-page: 118 ident: br0280 article-title: Evidence Logic: A New Look at Neighborhood Structures publication-title: Advances in Modal Logic – year: 1987 ident: br0040 article-title: Logics of Time and Computation – volume: 28 start-page: 119 year: 1995 end-page: 136 ident: br0140 article-title: The tableau method for temporal logic: an overview publication-title: Log. Anal. – volume: 14 start-page: 159 issue: 3 year: 1949 ident: 10.1016/j.jlamp.2021.100684_br0180 article-title: The completeness of the first-order functional calculus publication-title: J. Symb. Log. doi: 10.2307/2267044 – volume: 165 start-page: 49 issue: 1 year: 2014 ident: 10.1016/j.jlamp.2021.100684_br0290 article-title: The logic of justified belief, explicit knowledge, and conclusive evidence publication-title: Ann. Pure Appl. Log. doi: 10.1016/j.apal.2013.07.005 – year: 2008 ident: 10.1016/j.jlamp.2021.100684_br0350 – start-page: 163 year: 1980 ident: 10.1016/j.jlamp.2021.100684_br0110 article-title: On the temporal basis of fairness – volume: 11 start-page: 328 issue: 3 year: 2013 ident: 10.1016/j.jlamp.2021.100684_br0330 article-title: Preservation of Craig interpolation by the product of matrix logics publication-title: J. Appl. Log. doi: 10.1016/j.jal.2013.06.001 – start-page: 996 year: 1990 ident: 10.1016/j.jlamp.2021.100684_br0200 article-title: Temporal and modal logic – volume: vol. 243 start-page: 59 year: 2017 ident: 10.1016/j.jlamp.2021.100684_br0250 article-title: Temporal justification logic – year: 1987 ident: 10.1016/j.jlamp.2021.100684_br0040 – volume: 26 start-page: 115 issue: 2 year: 1985 ident: 10.1016/j.jlamp.2021.100684_br0160 article-title: The decision problem for linear temporal logic publication-title: Notre Dame J. Form. Log. doi: 10.1305/ndjfl/1093870820 – volume: 7 start-page: 1 issue: 1 year: 2001 ident: 10.1016/j.jlamp.2021.100684_br0260 article-title: Explicit provability and constructive semantics publication-title: Bull. Symb. Log. doi: 10.2307/2687821 – volume: vol. 11098 start-page: 281 year: 2018 ident: 10.1016/j.jlamp.2021.100684_br0190 article-title: A formal approach to analyzing cyber-forensics evidence – volume: vol. 9537 start-page: 174 year: 2016 ident: 10.1016/j.jlamp.2021.100684_br0370 article-title: Probabilistic justification logic – start-page: 118 year: 2008 ident: 10.1016/j.jlamp.2021.100684_br0090 article-title: Labeled natural deduction systems for a family of tense logics – volume: 10 start-page: 165 issue: 2 year: 2002 ident: 10.1016/j.jlamp.2021.100684_br0130 article-title: The unrestricted combination of temporal logic systems publication-title: Log. J. IGPL doi: 10.1093/jigpal/10.2.165 – year: 1995 ident: 10.1016/j.jlamp.2021.100684_br0340 – year: 1967 ident: 10.1016/j.jlamp.2021.100684_br0030 – volume: vol. 6953 start-page: 1 year: 2011 ident: 10.1016/j.jlamp.2021.100684_br0270 article-title: Logical dynamics of evidence – volume: 1 start-page: 203 issue: 3 year: 1992 ident: 10.1016/j.jlamp.2021.100684_br0020 article-title: Adding a temporal dimension to a logic system publication-title: J. Log. Lang. Inf. doi: 10.1007/BF00156915 – volume: 152 start-page: 67 issue: 1–3 year: 2008 ident: 10.1016/j.jlamp.2021.100684_br0230 article-title: A quantified logic of evidence publication-title: Ann. Pure Appl. Log. doi: 10.1016/j.apal.2007.11.003 – volume: 93 start-page: 109 issue: 2–3 year: 2009 ident: 10.1016/j.jlamp.2021.100684_br0300 article-title: A logical account of formal argumentation publication-title: Stud. Log. doi: 10.1007/s11225-009-9218-x – volume: 74 start-page: 267 issue: 4 year: 2017 ident: 10.1016/j.jlamp.2021.100684_br0380 article-title: On probability and logic publication-title: Port. Math. doi: 10.4171/pm/2007 – year: 2000 ident: 10.1016/j.jlamp.2021.100684_br0080 – volume: 21 start-page: 35 issue: 1 year: 2011 ident: 10.1016/j.jlamp.2021.100684_br0240 article-title: Justifications for common knowledge publication-title: J. Appl. Non-Class. Log. doi: 10.3166/jancl.21.35-60 – start-page: 971 year: 2007 ident: 10.1016/j.jlamp.2021.100684_br0150 article-title: Automata-theoretic techniques for temporal reasoning – volume: 1 start-page: 477 issue: 4 year: 2008 ident: 10.1016/j.jlamp.2021.100684_br0220 article-title: The logic of justification publication-title: Rev. Symb. Log. doi: 10.1017/S1755020308090060 – volume: 27 start-page: 249 issue: 1 year: 2010 ident: 10.1016/j.jlamp.2021.100684_br0070 article-title: Temporal and dynamic logic publication-title: J. Indian Counc. Philos. Res. – year: 2020 ident: 10.1016/j.jlamp.2021.100684_br0010 article-title: Time-stamped claim logic publication-title: Log. J. IGPL – year: 2013 ident: 10.1016/j.jlamp.2021.100684_br0120 – volume: 196 start-page: 3789 year: 2019 ident: 10.1016/j.jlamp.2021.100684_br0310 article-title: An epistemic approach to paraconsistency: a logic of evidence and truth publication-title: Synthese doi: 10.1007/s11229-017-1621-7 – volume: 3 start-page: 2 issue: 1 year: 2018 ident: 10.1016/j.jlamp.2021.100684_br0360 article-title: Probabilistic justification logic publication-title: Philos. – volume: 28 start-page: 119 issue: 110/111 year: 1995 ident: 10.1016/j.jlamp.2021.100684_br0140 article-title: The tableau method for temporal logic: an overview publication-title: Log. Anal. – volume: vol. 243 start-page: 59 year: 2017 ident: 10.1016/j.jlamp.2021.100684_br0320 article-title: Temporal justification logic – volume: 19 start-page: 1245 issue: 6 year: 2009 ident: 10.1016/j.jlamp.2021.100684_br0100 article-title: Labelled tableaux for distributed temporal logic publication-title: J. Log. Comput. doi: 10.1093/logcom/exp022 – start-page: 203 year: 2001 ident: 10.1016/j.jlamp.2021.100684_br0060 article-title: Temporal logic – ident: 10.1016/j.jlamp.2021.100684_br0210 – year: 1994 ident: 10.1016/j.jlamp.2021.100684_br0050 – volume: 26 start-page: 1 year: 2006 ident: 10.1016/j.jlamp.2021.100684_br0390 article-title: A logic for reasoning about evidence publication-title: J. Artif. Intell. Res. doi: 10.1613/jair.1838 – volume: 18 start-page: 194 issue: 2 year: 1979 ident: 10.1016/j.jlamp.2021.100684_br0170 article-title: Propositional dynamic logic of regular programs publication-title: J. Comput. Syst. Sci. doi: 10.1016/0022-0000(79)90046-1 – volume: vol. 9 start-page: 97 year: 2012 ident: 10.1016/j.jlamp.2021.100684_br0280 article-title: Evidence Logic: A New Look at Neighborhood Structures |
| SSID | ssj0001687831 |
| Score | 2.1691864 |
| Snippet | 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... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 100684 |
| SubjectTerms | Completeness Decidability Events Linear temporal logic Time-stamps |
| Title | Event-Based Time-Stamped Claim Logic |
| URI | https://dx.doi.org/10.1016/j.jlamp.2021.100684 |
| Volume | 121 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEB5qe_HiW6wvcujRpc0k2V2PtViqYi9a6C0kOxto0Vqk_n9n8kAF8eAtCTuQfJPMfFm-mQHoDbyhbICkhI-quIhjZRMqlLReCwvyVFXxP071ZBbfz5N5C0ZNLYzIKuvYX8X0MlrXV_o1mv31YtF_QuEOyClMtqhjM9-CDkbXml_tzvDuYTL92mrR1thyMqGYKLFp-g-VSq8lYy-tKzEUzYC28e856lveGe_BTk0Yg2F1T_vQ8qsD2G2GMQT1t3kIvVtRLqobzkoUSGGHYh7JnJiC0Uu2eA1kqLI7gtn49nk0UfUIBOUwiTbKMNtIHIYUOrSWyZSnMCr4wAgPGeQOXYbO5y7yOjNISInO0NgBem20o-gY2qu3lT-BIENv-HeAjJSmxlQwUc2RfcPLDVljunDVPHS6rjpdpI0EbJmWGKWCUVph1AXdAJP-cFjKsfgvw9P_Gp7BtpxVOq1zaG_eP_wFM4JNfll7_BPMEbCC |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLbGdoALb8R49rAj0dq0TXId06aOPS5s0m5RG6fSJhgTGv-fuA8BEuLArUprKf2s2l-jzzZAx7cSU58jIz7KojyKmIoxZ9R6LcjRYlnFP52JZBE9LeNlA_p1LQzJKqvYX8b0IlpXK90Kze52teo-c-IO3KUwOqKO5HIPWtSdKm5CqzcaJ7OvoxahpComE5IJI5u6_1Ch9Fo77Kl1JQ9IMyBU9HuO-pZ3hsdwWBFGr1fu6QQadnMKR_UwBq_6Ns-gMyDlInt0WQk9Kuxgjkc6Toxe_yVdvXo0VNmcw2I4mPcTVo1AYIbH4Y5JxzZiwwMMDFfKkSmLQZi7C0k8xM8MNyk3NjOhFankyDEWKZfK51ZIYTC8gObmbWMvwUu5le53ACWVpkaYO6Kacecb97hEJWUbHuqX1tuy04WuJWBrXWCkCSNdYtQGUQOjfzhMu1j8l-HVfw3vYT-ZTyd6MpqNr-GA7pSarRto7t4_7K1jB7vsrvL-Jyqjs2g |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Event-Based+Time-Stamped+Claim+Logic&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Ramos%2C+Jaime&rft.au=Rasga%2C+Jo%C3%A3o&rft.au=Sernadas%2C+Cristina&rft.au=Vigan%C3%B2%2C+Luca&rft.date=2021-06-01&rft.issn=2352-2208&rft.volume=121&rft.spage=100684&rft_id=info:doi/10.1016%2Fj.jlamp.2021.100684&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2021_100684 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |