An Abstract Look at the Fixed-Point Theorem for Provability Logic
| Authors | |
|---|---|
| Publication date | 2024 |
| Host editors |
|
| Book title | Dick de Jongh on Intuitionistic and Provability Logics |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Outstanding Contributions to Logic |
| Pages (from-to) | 75-88 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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. |
| Document type | Chapter |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-031-47921-2_3 |
| Downloads |
978-3-031-47921-2_3
(Final published version)
|
| Permalink to this page | |