Perini Brogi, Cosimo
Perini Brogi, Cosimo
Lettere e Filosofia
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light
2026 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
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
2025 Perini Brogi, Cosimo; Maggesi, Marco
Displayed Universal Algebra in UniMath: Basic Definitions and Results
2025 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version)
2026 Antonella Bilotta, Cosimo Perini Brogi, Marco Maggesi
Mechanising Godel-Lob Provability Logic in HOL Light
2023 Maggesi, M; Perini Brogi, Cosimo
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024 marco maggesi; cosimo perini brogi
Systems Security Modeling and Analysis at IMT Lucca
2024 Gabriele Costa; Silvia De Francisci; Letterio Galletta; Cosimo Perini Brogi; Marinella Petrocchi; Fabio Pinelli; Roberto Pizziol; Manuel Pratelli; Margherita Renieri; Simone Soderi; Mirco Tribastone; Serenella Valiani
Universal Algebra in UniMath
2021 Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi
Universal Algebra in UniMath
2024 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020
2020 Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal proof of modal completeness for provability logic | 2021 | Marco Maggesi; Cosimo Perini Brogi | |
| A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light | 2026 | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi | |
| 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 | 2025 | Perini Brogi, Cosimo; Maggesi, Marco | |
| Displayed Universal Algebra in UniMath: Basic Definitions and Results | 2025 | Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi | |
| Growing HOLMS, a HOL Light Library for Modal Systems | 2024 | Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini | |
| Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) | 2026 | Antonella Bilotta, Cosimo Perini Brogi, Marco Maggesi | |
| Mechanising Godel-Lob Provability Logic in HOL Light | 2023 | Maggesi, M; Perini Brogi, Cosimo | |
| Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic | 2024 | marco maggesi; cosimo perini brogi | |
| Systems Security Modeling and Analysis at IMT Lucca | 2024 | Gabriele Costa; Silvia De Francisci; Letterio Galletta; Cosimo Perini Brogi; Marinella Petrocchi; Fabio Pinelli; Roberto Pizziol; Manuel Pratelli; Margherita Renieri; Simone Soderi; Mirco Tribastone; Serenella Valiani | |
| Universal Algebra in UniMath | 2021 | Gianluca Amato; Marco Maggesi; Cosimo Perini Brogi | |
| Universal Algebra in UniMath | 2024 | Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi | |
| Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020 | 2020 | Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi |