The following pages link to (Q4694209):
Displaying 31 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- A note on bisimulation and modal equivalence in provability logic and interpretability logic (Q361870) (← links)
- 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)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- Modal Matters for Interpretability Logics (Q3535605) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- (Q4815892) (← 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)
- Complexity of the interpretability logic IL (Q5241913) (← links)
- The principles of interpretability (Q5937854) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- Modal information logics: axiomatizations and decidability (Q6145035) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
- Notes on my scientific life (Q6612807) (← links)
- The \(\Sigma_1\)-provability logic of HA revisited (Q6612810) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
