Get started
Author

Cosimo Perini Brogi

Observed names: Brogi, Cosimo Perini, COSIMO PERINI BROGI, PERINI BROGI, COSIMO, Perini Brogi, Cosimo
ORCID: 0000-0001-7883-5727
Observed ORCID: 0000-0001-7883-5727
OpenAlex ID: A5017324321
A Formal Proof of Modal Completeness for Provability Logic
2021 · Maggesi, Marco, Perini Brogi, Cosimo · arXiv (Cornell University) · 14
PDF
Mechanising Gödel–Löb Provability Logic in HOL Light
2023 · Marco Maggesi, Cosimo Perini Brogi · Journal of Automated Reasoning · 10
Curry–Howard–Lambek Correspondence for Intuitionistic Belief
2021 · Cosimo Perini Brogi · Studia Logica · 10
PDF
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
2024 · Marco Maggesi, Cosimo Perini Brogi · Lecture notes in computer science · 4
PDF
Analysing Collective Adaptive Systems by Proving Theorems
2024 · Cosimo Perini Brogi, Marco Maggesi · Lecture notes in computer science · 4
PDF
Universal algebra in UniMath
2024 · Gianluca Amato, Matteo Calosci, et al. · Mathematical Structures in Computer Science · 4
Modular Sequent Calculi for Interpretability Logics
2025 · COSIMO PERINI BROGI, SARA NEGRI, et al. · The Review of Symbolic Logic · 3
Machine Translation: Early Criticisms Revisited
2024 · Stefania Centrone, Cosimo Perini Brogi, et al. · Conference on Human Centred Artificial Intelligence - Education and Practice (HCAIep) · 3
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light
2026 · Bilotta, Antonella, Maggesi, Marco, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
Systems Security Modeling and Analysis at IMT Lucca
2024 · Gabriele Costa, Silvia De Francisci, et al. · Lecture notes in computer science · 2
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants
2025 · Cosimo Perini Brogi, Marco Maggesi · International Journal on Software Tools for Technology Transfer · 1
Webpage of HOLMS: A HOL Light Library for Modal Systems
2024 · Antonella Bilotta, Marco Maggesi, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
Mapping Abstract Reasoning: A Freinet-Inspired Approach to Creative Logic Communication in Secondary Schools
2026 · Cosimo Perini Brogi · Lecture notes in computer science
Ultrafilter Extensions for Veltman Semantics
2026 · Fèlix Frigola González, Joost J. Joosten, et al. · Electronic Proceedings in Theoretical Computer Science
PDF
Cutting Out the Middle Man: A Game-Theoretic Analysis in Computability Logic of the Needham-Schroeder Protocol
2026 · Perini Brogi, Cosimo, Spadoni, Stella · HAL
Why Read The Classics (Of Mathematical Proofs)?
2026 · Cosimo Perini Brogi · Journal of Humanistic Mathematics
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version)
2026 · Antonella Bilotta, Cosimo Perini Brogi, et al. · Florence Research (University of Florence)
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light
2026 · Antonella Bilotta, Marco Maggesi, et al. · Lecture notes in computer science
PDF
Growing a Modular Framework for Modal Systems: HOLMS
2025 · Bilotta, Antonella, Maggesi, Marco, et al. · Scuola Normale Superiore di Pisa
HOLMS: A HOL Light Library for Modal Systems
2024 · Antonella Bilotta, Marco Maggesi, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.
2021 · Cosimo Perini Brogi · arXiv (Cornell University)
An analytic calculus for intuitionistic belief
2021 · Brogi, Cosimo Perini · arXiv (Cornell University)
PDF
Universal Algebra in UniMath (preprint) Presented at Workshop on Homotopy Type Theory and Univalent Foundations 2020
2020 · Gianluca Amato, Marco Maggesi, et al. · Florence Research (University of Florence)
PDF
Works count: 24
Citation count: 58
H-index: 4
I10-index: 3
Year
Topic
Type