Perini Brogi, Cosimo
Perini Brogi, Cosimo
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Proof of Modal Completeness for Provability Logic | 1-gen-2021 | Maggesi, Marco; Perini Brogi, Cosimo | |
Curry–Howard–Lambek Correspondence for Intuitionistic Belief | 1-gen-2021 | Perini Brogi, C. | |
Mechanising Gödel–Löb Provability Logic in HOL Light | 1-gen-2023 | Maggesi, Marco; Perini Brogi, Cosimo |