Pages that link to "Item:Q3395097"
From MaRDI portal
The following pages link to Lindstrom theorems for fragments of first-order logic (Q3395097):
Displayed 8 items.
- The many faces of interpolation (Q1024113) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)