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):
Displaying 11 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Modal logics with several operators and probability interpretations (Q579232) (← links)
- The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← 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)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)