Pages that link to "Item:Q1259545"
From MaRDI portal
The following pages link to Calculating self-referential statements. I: Explicit calculations (Q1259545):
Displayed 5 items.
- A propositional logic with explicit fixed points (Q1156789) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Fixed point algebras (Q3333037) (← links)
- Sentences implying their own provability (Q3338237) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)