2 citations · 4 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
An analytic calculus for intuitionistic belief
Cosimo Perini Brogi
Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-refl…
cs.LO2021★ 2 cited
A formal proof of modal completeness for provability logic
Marco Maggesi, Cosimo Perini Brogi
This work presents a formalized proof of modal completeness for Gödel-Löb provability logic (GL) in the HOL Light theorem prover. We describe the code we developed, and discuss som…