Perini Brogi, Cosimo
Perini Brogi, Cosimo
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.005 secondi).
A Formal Proof of Modal Completeness for Provability Logic
2021-01-01 Maggesi, Marco; Perini Brogi, Cosimo
Curry–Howard–Lambek Correspondence for Intuitionistic Belief
2021-01-01 Perini Brogi, C.
Investigations of proof theory and automated reasoning for non-classical logics
2022-01-01 Perini Brogi, Cosimo
Mechanising Gödel–Löb Provability Logic in HOL Light
2023-01-01 Maggesi, Marco; Perini Brogi, Cosimo
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. | |
Investigations of proof theory and automated reasoning for non-classical logics | 1-gen-2022 | Perini Brogi, Cosimo | |
Mechanising Gödel–Löb Provability Logic in HOL Light | 1-gen-2023 | Maggesi, Marco; Perini Brogi, Cosimo |