Pages that link to "Item:Q3081234"
From MaRDI portal
The following pages link to A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234):
Displaying 15 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- On the share of closed \(\mathsf {IL}\) formulas which are also in \(\mathsf {GL}\) (Q892132) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Filtrations of generalized Veltman models (Q2827954) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- (Q4250049) (← links)
- (Q4437331) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
