The following pages link to (Q4694209):
Displayed 10 items.
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Some independence results in interpretability logic (Q804562) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- The logic of linear tolerance (Q1207342) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- The principles of interpretability (Q5937854) (← links)