Pages that link to "Item:Q757339"
From MaRDI portal
The following pages link to Undecidable properties of extensions of the logic of provability (Q757339):
Displaying 7 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
