Time-stamped claim logic

DOI10.1093/jigpal/jzaa001zbMath1494.03045arXiv1907.06541OpenAlexW2999988572WikidataQ126345769 ScholiaQ126345769MaRDI QIDQ5020357

Luca Viganò, Erisa Karafili, João Rasga, Cristina Sernadas

Publication date: 5 January 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.06541

zbMATH Keywords

Gentzen calculuscyber securitylabelled deductionevidence logictime-stamped claim logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Temporal logic (03B44)

This page was built for publication: Time-stamped claim logic