2 citations · 4 across the 5 of their papers we have counts for
1 paper · 2 filters
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…