Pages that link to "Item:Q3535605"
From MaRDI portal
The following pages link to Modal Matters for Interpretability Logics (Q3535605):
Displaying 16 items.
- A modal interpretation of the logic of interrogation (Q851195) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Interpretability in PRA (Q1035648) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014 (Q2353900) (← links)
- Filtrations of generalized Veltman models (Q2827954) (← links)
- A Possible Modal Formulation of Comprehension Scheme (Q3786476) (← links)
- (Q3817706) (← links)
- A new proof of completeness for a relative modal logic with composition and intersection (Q4443008) (← links)
- (Q4815892) (← links)
- (Q5019683) (← links)
- INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
- Labelled tableaux for interpretability logics (Q5224691) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)