A general Lindström theorem for some normal modal logics

DOI10.1007/s11787-013-0078-9zbMath1345.03035WikidataQ29013753 ScholiaQ29013753MaRDI QIDQ2392014

Sebastian Enqvist

Publication date: 6 August 2013

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

Full work available at URL: https://doi.org/10.1007/s11787-013-0078-9

zbMATH Keywords

modal logic; bisimulation; abstract model theory; Lindström's theorem

Mathematics Subject Classification ID

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

03C95: Abstract model theory

Related Items

Unnamed Item, A Lindström theorem for intuitionistic first-order logic, First-order modal logic: frame definability and a Lindström theorem, Chain logic and Shelah's infinitary logic, A Lindström theorem for intuitionistic propositional logic, A Lindström theorem in many-valued modal logic over a finite MTL-chain

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal characterisation theorems over special classes of frames
• A new modal Lindström theorem
• Modal languages and bounded fragments of predicate logic
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Characterizations of negative definability in modal logic
• Lindstrom theorems for fragments of first-order logic
• Horn clauses and database dependencies
• On Extensions of Elementary Logic