João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò 0001. Time-stamped claim logic. Logic Journal of the IGPL, 29(3):303-332, 2021. [doi]
@article{RasgaSKV21,
title = {Time-stamped claim logic},
author = {João Rasga and Cristina Sernadas and Erisa Karafili and Luca Viganò 0001},
year = {2021},
doi = {10.1093/jigpal/jzaa001},
url = {https://doi.org/10.1093/jigpal/jzaa001},
researchr = {https://researchr.org/publication/RasgaSKV21},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {29},
number = {3},
pages = {303-332},
}