Angelo Matteo

Angelo Matteo

È studente di dottorato in Informatica e Intelligenza Artificiale presso l’Università degli Studi di Udine. Ha conseguito la laurea magistrale in Logica, Filosofia e Storia della Scienza presso l’Università di Firenze e la laurea triennale in Filosofia presso l’Università di Napoli “Federico II”. I suoi interessi riguardano le logiche modali, in particolare le logiche temporali, e le loro applicazioni in informatica e intelligenza artificiale.

Valentin Goranko, “Temporal Logics”, Cambridge University Press, Cambridge, 2023, pp. 75

Abstract In questa Lettura Critica viene analizzato Temporal Logics, di Valentin Goranko. L’opera viene inquadrata nella collana di cui è parte e nella letteratura esistente sull’argomento. Viene brevemente esposto e commentato il contenuto del libro, cercando di metterne in luce…

Leggi tutto Valentin Goranko, “Temporal Logics”, Cambridge University Press, Cambridge, 2023, pp. 75