The following pages link to (Q5416147):
Displaying 8 items.
- Three-valued logics in modal logic (Q383567) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Notes on the fate of logicism from<i>principia mathematica</i>to gödel's incompletability theorem (Q3220546) (← links)
- Godel's interpretation of intuitionism (Q3422401) (← links)
- (Q4215634) (← links)
- Gödel Homomorphisms as Gödel Modal Operators (Q4914310) (← links)
- (Q5039161) (← links)