Pages that link to "Item:Q5898148"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898148):
Displayed 5 items.
- On modal \(\mu \)-calculus and Gödel-Löb logic (Q1015480) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)