The following pages link to The modal logic of Gödel sentences (Q600852):
Displaying 9 items.
- An incomplete system of modal logic (Q1073780) (← links)
- Epistemic theories and the interpretation of Gödel's incompleteness theorems (Q1094407) (← links)
- Addendum to ``Sloman's view of Gödel's sentence'' (Q1128496) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- The modified Ramsey theorem is not a Gödel sentence (Q2856047) (← links)
- Undecidability of the elementary theory of the semilattice of GLP-words (Q4650150) (← links)
- Gödel Homomorphisms as Gödel Modal Operators (Q4914310) (← links)
- Constructive truth and falsity in Peano arithmetic (Q5028314) (← links)