Mechanising Gödel–Löb Provability Logic in HOL Light.
Saved in:
| Title: | Mechanising Gödel–Löb Provability Logic in HOL Light. |
|---|---|
| Authors: | Maggesi, Marco1, marco.maggesi@unifi.it, Perini Brogi, Cosimo2, cosimo.perinibrogi@imtlucca.it |
| Source: | Journal of Automated Reasoning; Sep2023, Vol. 67 Issue 3, p1-34, 34p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-023-09677-z |
