The following pages link to A new modal Lindström theorem (Q874750):
Displaying 14 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)
- A new coalgebraic Lindström theorem (Q2957957) (← links)
- (Q4603451) (← links)
- A Lindström-style theorem for finitary propositional weak entailment languages with absurdity (Q4644534) (← links)
- On the Independent Axiomatizability of Modal and Intermediate Logics (Q4835534) (← links)
- A novel approach to the Lindelöf hypothesis (Q5082074) (← links)
- Logic between Expressivity and Complexity (Q5747755) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)
- Preservation theorems for Tarski's relation algebra (Q6635502) (← links)
