1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Soldà
Gödel-Löb provability logic $\GL$ is a propositional modal system that on one hand enjoys completeness with respect to conversely well-founded Kripke frames and on the other hand c…