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 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
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
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