Pages that link to "Item:Q1090325"
From MaRDI portal
The following pages link to Magari's theorem via the recession frame (Q1090325):
Displaying 5 items.
- An incomplete system of modal logic (Q1073780) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- A simple incomplete extension of T which is the union of two complete modal logics with f. m. p (Q1868335) (← links)
- Incompleteness and the Barcan formula (Q1896788) (← links)
- Incompleteness and fixed points (Q2776807) (← links)