Pages that link to "Item:Q5148108"
From MaRDI portal
The following pages link to INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108):
Displaying 14 items.
- On the proofs of arithmetical completeness for interpretability logic (Q689212) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Some correspondences of principles in interpretability logic (Q2785600) (← links)
- Filtrations of generalized Veltman models (Q2827954) (← links)
- Functional Interpretation of Logics for ‘Generally’ (Q4656556) (← links)
- (Q4815892) (← links)
- Labelled tableaux for interpretability logics (Q5224691) (← links)
- Complexity of the interpretability logic IL (Q5241913) (← links)
- Interpreting GPFCSP within the LΠ ½ logic framework (Q5252363) (← 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)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)