Perini Brogi, Cosimo
Perini Brogi, Cosimo
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A Formal Proof of Modal Completeness for Provability Logic
2021 Maggesi, Marco; Perini Brogi, Cosimo
A modular framework for proof-search via formalised modal completeness in HOL light
2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS
2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.
Analysing Collective Adaptive Systems by Proving Theorems
2024 Perini Brogi, Cosimo; Maggesi, Marco
Archimede logica : l'enigma del compleanno
2020 Perini Brogi, Cosimo
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants
2026 Perini Brogi, Cosimo; Maggesi, Marco
Curry–Howard–Lambek Correspondence for Intuitionistic Belief
2021 Perini Brogi, C.
Displayed universal algebra in UniMath: basic definitions and results
2025 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading
2025 Perini Brogi, Cosimo
Growing HOLMS, a HOL Light Library for Modal Systems
2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L.
Il senso astratto delle cose
2026 Perini Brogi, Cosimo
Investigations of proof theory and automated reasoning for non-classical logics
2022 Perini Brogi, Cosimo
La matematica delle dimostrazioni
2022 Perini Brogi, Cosimo
Machine translation: early criticisms revisited
2024 Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan
Mechanising Gödel–Löb Provability Logic in HOL Light
2023 Maggesi, Marco; Perini Brogi, Cosimo
Modular sequent calculi for interpretability logics
2025 Perini Brogi, C.; Negri, S.; Olivetti, N.
Reasoning on privacy policies
2025 Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024 Maggesi, Marco; Perini Brogi, Cosimo
Simpson's proof systems for process verification: a fine-tuning (short paper)
2024 Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar
Systems Security Modeling and Analysis at IMT Lucca
2024 Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Proof of Modal Completeness for Provability Logic | 1-gen-2021 | Maggesi, Marco; Perini Brogi, Cosimo | |
| A modular framework for proof-search via formalised modal completeness in HOL light | 1-gen-2026 | Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo | |
| A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS | 1-gen-2025 | Bilotta, A.; Maggesi, M.; Perini Brogi, C. | |
| Analysing Collective Adaptive Systems by Proving Theorems | 1-gen-2024 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Archimede logica : l'enigma del compleanno | 1-gen-2020 | Perini Brogi, Cosimo | |
| Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants | 1-gen-2026 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Curry–Howard–Lambek Correspondence for Intuitionistic Belief | 1-gen-2021 | Perini Brogi, C. | |
| Displayed universal algebra in UniMath: basic definitions and results | 1-gen-2025 | Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C. | |
| From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading | 1-gen-2025 | Perini Brogi, Cosimo | |
| Growing HOLMS, a HOL Light Library for Modal Systems | 1-gen-2025 | Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L. | |
| Il senso astratto delle cose | 1-gen-2026 | Perini Brogi, Cosimo | |
| Investigations of proof theory and automated reasoning for non-classical logics | 1-gen-2022 | Perini Brogi, Cosimo | |
| La matematica delle dimostrazioni | 1-gen-2022 | Perini Brogi, Cosimo | |
| Machine translation: early criticisms revisited | 1-gen-2024 | Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan | |
| Mechanising Gödel–Löb Provability Logic in HOL Light | 1-gen-2023 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Modular sequent calculi for interpretability logics | 1-gen-2025 | Perini Brogi, C.; Negri, S.; Olivetti, N. | |
| Reasoning on privacy policies | 1-gen-2025 | Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco | |
| Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 1-gen-2024 | Maggesi, Marco; Perini Brogi, Cosimo | |
| Simpson's proof systems for process verification: a fine-tuning (short paper) | 1-gen-2024 | Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar | |
| Systems Security Modeling and Analysis at IMT Lucca | 1-gen-2024 | Costa, Gabriele; DE FRANCISCI, Silvia; Galletta, Letterio; Perini Brogi, Cosimo; Petrocchi, Marinella; Pinelli, Fabio; Pizziol, Roberto; Pratelli, Manuel; Renieri, Margherita; Soderi, Simone; Tribastone, Mirco; Valiani, Serenella |