Pages that link to "Item:Q805607"
From MaRDI portal
The following pages link to Undecidable properties of extensions of provability logic. II (Q805607):
Displaying 6 items.
- Recognizable logics (Q887647) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
