Pages that link to "Item:Q688429"
From MaRDI portal
The following pages link to The provability logic for \(\Sigma_ 1\)-interpolability (Q688429):
Displaying 6 items.
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Preservativity logic: An analogue of interpretability logic for constructive theories (Q4808463) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)