A general Lindström theorem for some normal modal logics

DOI10.1007/S11787-013-0078-9MaRDI QIDQ2392014zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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 logicbisimulationabstract model theoryLindström's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract model theory (03C95)

Recommendations

• A new modal Lindström theorem
• First-order modal logic: frame definability and a Lindström theorem
• scientific article; zbMATH DE number 5872415
• Lindstrom theorems for fragments of first-order logic
• Coalgebraic Lindström theorems

Cites work

• scientific article; zbMATH DE number 5872415 (Why is no real title available?)
• scientific article; zbMATH DE number 3898209 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A new modal Lindström theorem
• Characterizations of negative definability in modal logic
• Coalgebraic Lindström theorems
• Horn clauses and database dependencies
• Lindstrom theorems for fragments of first-order logic
• Modal characterisation theorems over special classes of frames
• Modal languages and bounded fragments of predicate logic
• Modal logic
• On Extensions of Elementary Logic

Cited in

(12)

• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• scientific article; zbMATH DE number 4217760 (Why is no real title available?)
• A Lindström theorem for intuitionistic first-order logic
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem
• A new modal Lindström theorem
• First-order modal logic: frame definability and a Lindström theorem
• A Lindström theorem for intuitionistic propositional logic
• Lindström's theorem
• Lindstrom theorems for fragments of first-order logic
• Chain logic and Shelah's infinitary logic
• A Lindström theorem in many-valued modal logic over a finite MTL-chain

This page was built for publication: A general Lindström theorem for some normal modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2392014)