Article

Time-stamped claim logic

Logic Journal of the IGPL

João Rasga; Cristina Sernadas; Luca Viganó — 2021

Key information

Authors:

João Rasga (João Rasga); Cristina Sernadas (Maria Cristina De Sales Viana Serôdio Sernadas); Erisa Karafili; Luca Viganó

Published in

June 2021

Publication details

Authors in the community:

Title of the publication container

Logic Journal of the IGPL

First page or article number

303

Last page

332

Volume

29

Issue

3

DOI

10.1093/jigpal/jzaa001

Fields of Science and Technology (FOS)

mathematics - Mathematics

Publication language (ISO code)

eng - English

Rights type:

Open access