Pages that link to "Item:Q4378052"
From MaRDI portal
The following pages link to Provability logic—a short introduction (Q4378052):
Displayed 8 items.
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Interpolation properties for Sacchetti's logics (Q2097057) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Circular proofs for the Gödel-Löb provability logic (Q2343897) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Note on some fixed point constructions in provability logic (Q2499296) (← links)
- The Henkin Sentence (Q3454817) (← links)