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 9 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)
- Filtrations of generalized Veltman models (Q2827954) (← 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)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
