2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Marco Maggesi, Cosimo Perini Brogi
We introduce our implementation in HOL Light of the metatheory for Gödel-Löb provability logic (GL), covering soundness and completeness w.r.t. possible world semantics and featuri…