{"id":"https://openalex.org/W2999988572","doi":"https://doi.org/10.1093/jigpal/jzaa001","title":"Time-stamped claim logic","display_name":"Time-stamped claim logic","publication_year":2020,"publication_date":"2020-01-15","ids":{"openalex":"https://openalex.org/W2999988572","doi":"https://doi.org/10.1093/jigpal/jzaa001","mag":"2999988572"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzaa001","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa001","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kclpure.kcl.ac.uk/portal/en/publications/739be492-c6dd-4b57-8018-47177119bf8d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008640428","display_name":"Jo\u00e3o Rasga","orcid":"https://orcid.org/0000-0002-1239-8496"},"institutions":[{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Rasga","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal","institution_ids":["https://openalex.org/I4387152517"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020274709","display_name":"Cristina Sernadas","orcid":"https://orcid.org/0000-0002-5510-3512"},"institutions":[{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Cristina Sernadas","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico and CMAFcIO, ULisboa, Portugal","institution_ids":["https://openalex.org/I4387152517"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091676155","display_name":"Erisa Karafili","orcid":"https://orcid.org/0000-0002-8250-4389"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Erisa Karafili","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101515402","display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["Department of Informatics, King\u2019s College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Informatics, King\u2019s College London, UK","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5020274709"],"corresponding_institution_ids":["https://openalex.org/I4387152517"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.7025,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7934722,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"29","issue":"3","first_page":"303","last_page":"332"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6672524809837341},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.6313916444778442},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.47974932193756104},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.41612452268600464},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3472450375556946},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3358469605445862},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24753332138061523},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.1069185733795166},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.06539389491081238}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6672524809837341},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.6313916444778442},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.47974932193756104},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.41612452268600464},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3472450375556946},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3358469605445862},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24753332138061523},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.1069185733795166},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.06539389491081238},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1093/jigpal/jzaa001","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzaa001","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/739be492-c6dd-4b57-8018-47177119bf8d","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/739be492-c6dd-4b57-8018-47177119bf8d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rasga, J, Sernadas, C, Karafili, E & Vigano, L 2021, 'Time-Stamped Claim Logic', LOGIC JOURNAL- IGPL, vol. 29, no. 3. https://doi.org/10.1093/jigpal/jzaa001","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:eprints.soton.ac.uk:438986","is_oa":true,"landing_page_url":"http://doi.org/10.1093/jigpal/jzaa001>).","pdf_url":"https://eprints.soton.ac.uk/438986/1/evl02.pdf","source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:pure.atira.dk:publications/739be492-c6dd-4b57-8018-47177119bf8d","is_oa":true,"landing_page_url":null,"pdf_url":"https://kclpure.kcl.ac.uk/portal/en/publications/timestamped-claim-logic(739be492-c6dd-4b57-8018-47177119bf8d).html","source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:osti.gov:1605299","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1605299","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/76270","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/76270","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"332","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:kclpure.kcl.ac.uk:openaire/739be492-c6dd-4b57-8018-47177119bf8d","is_oa":true,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/739be492-c6dd-4b57-8018-47177119bf8d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rasga, J, Sernadas, C, Karafili, E & Vigano, L 2021, 'Time-Stamped Claim Logic', LOGIC JOURNAL- IGPL, vol. 29, no. 3. https://doi.org/10.1093/jigpal/jzaa001","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1161226026","display_name":null,"funder_award_id":"UID/MAT/04561/2019","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3164523449","display_name":null,"funder_award_id":"EP/R007268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3783317134","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4642980860","display_name":null,"funder_award_id":"UID/MAT/04561","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6779612869","display_name":"Logic-based Attribution and Forensics in Cyber Security","funder_award_id":"746667","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7162076658","display_name":null,"funder_award_id":"UIDB/04561/2020","funder_id":"https://openalex.org/F4320337197","funder_display_name":"Nuclear Fuel Cycle and Supply Chain"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320323424","display_name":"Universidade de Lisboa","ror":"https://ror.org/01c27hj86"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"},{"id":"https://openalex.org/F4320337197","display_name":"Nuclear Fuel Cycle and Supply Chain","ror":"https://ror.org/05tj7dm33"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W73274435","https://openalex.org/W1594990268","https://openalex.org/W1972836303","https://openalex.org/W2003822553","https://openalex.org/W2039790515","https://openalex.org/W2041998373","https://openalex.org/W2043468053","https://openalex.org/W2048792847","https://openalex.org/W2051353472","https://openalex.org/W2052334777","https://openalex.org/W2064462335","https://openalex.org/W2104126268","https://openalex.org/W2104288836","https://openalex.org/W2154319800","https://openalex.org/W2159131252","https://openalex.org/W2160191881","https://openalex.org/W2385910157","https://openalex.org/W2405763943","https://openalex.org/W2476275724","https://openalex.org/W2767495451","https://openalex.org/W2791380809","https://openalex.org/W2896137607","https://openalex.org/W2942668923","https://openalex.org/W2963603050","https://openalex.org/W3023128934","https://openalex.org/W3100226298","https://openalex.org/W6632250468","https://openalex.org/W6666813474","https://openalex.org/W6697087477","https://openalex.org/W6745552837","https://openalex.org/W6750265286","https://openalex.org/W6754950031","https://openalex.org/W6762196381","https://openalex.org/W6765810822"],"related_works":["https://openalex.org/W2280276996","https://openalex.org/W4253113110","https://openalex.org/W182117412","https://openalex.org/W2096191306","https://openalex.org/W1488351281","https://openalex.org/W4210342219","https://openalex.org/W4295728898","https://openalex.org/W93561518","https://openalex.org/W2138973931","https://openalex.org/W3090765541"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"main":[2],"objective":[3],"of":[4,39,53,55,63,66],"this":[5],"paper":[6],"is":[7,21],"to":[8,47,76,97],"define":[9],"a":[10,19,28,37,50,89,110],"logic":[11,20,29,87,102],"for":[12,23],"reasoning":[13],"about":[14,49],"distributed":[15],"time-stamped":[16,85,100],"claims.":[17],"Such":[18],"interesting":[22],"theoretical":[24],"reasons,":[25],"i.e.":[26],"as":[27],"per":[30],"se,":[31],"but":[32],"also":[33],"because":[34],"it":[35],"has":[36],"number":[38],"practical":[40],"applications,":[41],"in":[42,106],"particular":[43],"when":[44],"one":[45],"needs":[46],"reason":[48],"huge":[51],"amount":[52],"pieces":[54,65],"evidence":[56,67],"collected":[57],"from":[58],"different":[59],"sources,":[60],"where":[61],"some":[62,72],"the":[64,84],"may":[68],"be":[69,77,104],"contradictory":[70],"and":[71,91],"sources":[73],"are":[74],"considered":[75],"more":[78],"trustworthy":[79],"than":[80],"others.":[81],"We":[82],"introduce":[83],"claim":[86,101],"including":[88],"sound":[90],"complete":[92],"sequent":[93],"calculus.":[94],"In":[95],"order":[96],"show":[98],"how":[99],"can":[103],"used":[105],"practice,":[107],"we":[108],"consider":[109],"concrete":[111],"cyber-attribution":[112],"case":[113],"study.":[114]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}