PP-2021-03: van Benthem, Johan (2021) An Abstract Look at the Fixed-Point Theorem for Provability Logic. [Pre-print] (In Press)
Preview |
Text
2021.FPT.jb.pdf Download (263kB) | Preview |
Abstract
In this brief note, I discuss some general backgrounds of the well-known Fixed-Point Theorem for Provability Logic, taking my cues from an elegant abstract argument by Dick de Jongh in the 1980s.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2021-03 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2021 |
| Subjects: | Logic Mathematics |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 05 Feb 2021 19:19 |
| Last Modified: | 27 Mar 2021 10:30 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1774 |
Actions (login required)
 |
View Item |
