Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Cosimo Perini Brogi

> Home > Persons

Person information

affiliation: University of Genoa, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/MaggesiB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MaggesiB23
Marco Maggesi, Cosimo Perini Brogi:
Mechanising Gödel-Löb Provability Logic in HOL Light. J. Autom. Reason. 67(3): 29 (2023)
2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Brogi22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Brogi22
Cosimo Perini Brogi:
Investigations of proof theory and automated reasoning for non-classical logics. University of Genoa, Italy, 2022
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-03659
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-03659
Marco Maggesi, Cosimo Perini Brogi:
A theorem prover and countermodel constructor for provability logic in HOL Light. CoRR abs/2205.03659 (2022)
2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Brogi21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Brogi21
Cosimo Perini Brogi:
Curry-Howard-Lambek Correspondence for Intuitionistic Belief. Stud Logica 109(6): 1441-1461 (2021)
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/MaggesiB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/MaggesiB21
Marco Maggesi, Cosimo Perini Brogi:
A Formal Proof of Modal Completeness for Provability Logic. ITP 2021: 26:1-26:18
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-05945
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-05945
Marco Maggesi, Cosimo Perini Brogi:
A formal proof of modal completeness for provability logic. CoRR abs/2102.05945 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-05952
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-05952
Gianluca Amato, Marco Maggesi, Cosimo Perini Brogi:
Universal Algebra in UniMath. CoRR abs/2102.05952 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-01734
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-01734
Cosimo Perini Brogi:
Natural deduction for intuitionistic belief: proof theory and proof-theoretic semantics. CoRR abs/2103.01734 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-02417
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-02417
Cosimo Perini Brogi:
Curry-Howard-Lambek Correspondence for Intuitionistic Belief. CoRR abs/2006.02417 (2020)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-04840
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-04840
Gianluca Amato, Marco Maggesi, Maurizio Parton, Cosimo Perini Brogi:
Universal Algebra in UniMath. CoRR abs/2007.04840 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.