Cosimo Perini Brogi

According to our database, Cosimo Perini Brogi authored at least 15 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Growing HOLMS, a HOL Light Library for Modal Systems.

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

Toward dynamic epistemic verification of zero-knowledge protocols.

Gabriele Costa, Cosimo Perini Brogi

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.

Marco Maggesi, Cosimo Perini Brogi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

Systems Security Modeling and Analysis at IMT Lucca.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Analysing Collective Adaptive Systems by Proving Theorems.

Cosimo Perini Brogi, Marco Maggesi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper).

Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Machine Translation: Early Criticisms Revisited.

Stefania Centrone, Cosimo Perini Brogi, Stefan Reifberger

Proceedings of the 2024 Conference on Human Centred Artificial Intelligence, 2024

2023

Mechanising Gödel-Löb Provability Logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

J. Autom. Reason., September, 2023

2022

Investigations of proof theory and automated reasoning for non-classical logics.

Cosimo Perini Brogi

PhD thesis, 2022

A theorem prover and countermodel constructor for provability logic in HOL Light.

Marco Maggesi, Cosimo Perini Brogi

CoRR, 2022

2021

Curry-Howard-Lambek Correspondence for Intuitionistic Belief.

Cosimo Perini Brogi

Stud Logica, 2021

Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.

Cosimo Perini Brogi

CoRR, 2021

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi

CoRR, 2021

A Formal Proof of Modal Completeness for Provability Logic.

Marco Maggesi, Cosimo Perini Brogi

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Universal Algebra in UniMath.

Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi

CoRR, 2020