Pages that link to "Item:Q757339"

The following pages link to Undecidable properties of extensions of the logic of provability (Q757339):

Displayed 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)