Pages that link to "Item:Q1790599"

The following pages link to First-order modal logic: frame definability and a Lindström theorem (Q1790599):

Displaying 5 items.

• Chain logic and Shelah's infinitary logic (Q2066130) (← links)
• Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
• A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
• Frame definability in finitely valued modal logics (Q6040618) (← links)
• A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)