The following pages link to (Q4360863):
Displayed 8 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- The Meaning(s) of “Is”: Normative vs. Naturalistic Views of Language (Q5350330) (← links)
- On Dichotomy and Analogy: A Question on the Next “Unbloody” Revolution in Logic (Q6075152) (← links)