A general Lindström theorem for some normal modal logics
From MaRDI portal
Publication:2392014
DOI10.1007/s11787-013-0078-9zbMath1345.03035WikidataQ29013753 ScholiaQ29013753MaRDI QIDQ2392014
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
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