Pages that link to "Item:Q3760515"
From MaRDI portal
The following pages link to Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515):
Displayed 7 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A course on bimodal provability logic (Q1891253) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)