The following pages link to (Q3085171):
Displaying 9 items.
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- (Q4603451) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
