Pages that link to "Item:Q2392014"

The following pages link to A general Lindström theorem for some normal modal logics (Q2392014):

Displaying 6 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)
• (Q4603451) (← links)
• A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)