We stand with Ukraine  

Cosimo Perini Brogi

Orcid: 0000-0001-7883-5727

Affiliations:
  • University of Genoa, Italy


According to our database1, Cosimo Perini Brogi authored at least 8 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Mechanising Gödel-Löb Provability Logic in HOL Light.
[BibTeX]
[DOI]
Marco Maggesi
,
Cosimo Perini Brogi
J. Autom. Reason., September, 2023

2022
Investigations of proof theory and automated reasoning for non-classical logics.
[BibTeX]
[DOI]
Cosimo Perini Brogi
PhD thesis, 2022

A theorem prover and countermodel constructor for provability logic in HOL Light.
[BibTeX]
[DOI]
Marco Maggesi
,
Cosimo Perini Brogi
CoRR, 2022

2021
Curry-Howard-Lambek Correspondence for Intuitionistic Belief.
[BibTeX]
[DOI]
Cosimo Perini Brogi
Stud Logica, 2021

Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics.
[BibTeX]
[DOI]
Cosimo Perini Brogi
CoRR, 2021

Universal Algebra in UniMath.
[BibTeX]
[DOI]
Gianluca Amato
,
Marco Maggesi
,
Cosimo Perini Brogi
CoRR, 2021

A Formal Proof of Modal Completeness for Provability Logic.
[BibTeX]
[DOI]
Marco Maggesi
,
Cosimo Perini Brogi
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020
Universal Algebra in UniMath.
[BibTeX]
[DOI]
Gianluca Amato
,
Marco Maggesi
,
Maurizio Parton
,
Cosimo Perini Brogi
CoRR, 2020


  Loading...