First-order modal logic: frame definability and a Lindström theorem

DOI10.1007/s11225-017-9762-8zbMath1437.03095arXiv1602.00201OpenAlexW2963987138MaRDI QIDQ1790599

Yanyan Li

Publication date: 2 October 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.00201

zbMATH Keywords

bisimulationKripke semanticsfirst-order modal logicGoldblatt-Thomason theoremLindström theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (5)

Frame definability in finitely valued modal logics ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Chain logic and Shelah's infinitary logic ⋮ Quantifier-free epistemic term-modal logic with assignment operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• A new modal Lindström theorem
• First-order modal logic
• A general Lindström theorem for some normal modal logics
• A new coalgebraic Lindström theorem
• Interpolation for extended modal languages
• Lindstrom theorems for fragments of first-order logic
• The Goldblatt-Thomason Theorem for Coalgebras
• On Extensions of Elementary Logic

This page was built for publication: First-order modal logic: frame definability and a Lindström theorem