The following pages link to A new modal Lindström theorem (Q874750):
Displayed 8 items.
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← 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)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- (Q4603451) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)