- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Mechanising Gödel–Löb Provability Logic in HOL Light ; volume:67 ; number:3 ; day:29 ; month:8 ; year:2023 ; pages:1-34 ; date:9.2023
Journal of automated reasoning ; 67, Heft 3 (29.8.2023), 1-34, 9.2023
- Creator
-
Maggesi, Marco
Perini Brogi, Cosimo
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09677-z
- URN
-
urn:nbn:de:101:1-2023121112051748230723
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Maggesi, Marco
- Perini Brogi, Cosimo
- SpringerLink (Online service)
Other Objects (12)
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst
Gödel, Friedrich
Gödel, Adolf
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst
Gödel, Friedrich
Gödel, Adolf
Gödel's excursions into intuitionistic logic
Ten problems in Gödel logic
Involutive symmetric Gödel spaces, their algebraic duals and logic
From Semantic Games to Provability: The Case of Gödel Logic
Goedel
Goedel
Goedel
Goedel
Goedel
Gödel, Ernst
Gödel, Friedrich