Cosimo Perini Brogi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Natural Deduction

Top Venues

J. Autom. Reason.

Publications

Gabriele Costa, Cosimo Perini Brogi
Toward dynamic epistemic verification of zero-knowledge protocols. ITASEC (2024)
Marco Maggesi, Cosimo Perini Brogi
Mechanising Gödel-Löb Provability Logic in HOL Light. J. Autom. Reason. 67 (3) (2023)
Marco Maggesi, Cosimo Perini Brogi
A theorem prover and countermodel constructor for provability logic in HOL Light. CoRR (2022)
Marco Maggesi, Cosimo Perini Brogi
A Formal Proof of Modal Completeness for Provability Logic. ITP (2021)
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2021)
Cosimo Perini Brogi
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics. CoRR (2021)
Marco Maggesi, Cosimo Perini Brogi
A formal proof of modal completeness for provability logic. CoRR (2021)
Cosimo Perini Brogi
Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Stud Logica 109 (6) (2021)
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi
Universal Algebra in UniMath. CoRR (2020)
Cosimo Perini Brogi
Curry-Howard-Lambek Correspondence for Intuitionistic Belief. CoRR (2020)