A new modal Lindström theorem

DOI10.1007/s11787-006-0006-3zbMath1118.03012OpenAlexW2115454923MaRDI QIDQ874750

J. F. A. K. van Benthem

Publication date: 10 April 2007

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

Full work available at URL: https://doi.org/10.1007/s11787-006-0006-3

zbMATH Keywords

interpolationmodal logicguarded fragmentabstract model theoryinvariance theoremextended modal languagesLindström theorem

Mathematics Subject Classification ID

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

Related Items (8)

A general Lindström theorem for some normal modal logics ⋮ A Lindström theorem for intuitionistic propositional logic ⋮ A Lindström theorem for intuitionistic first-order logic ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Logic between Expressivity and Complexity ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ Unnamed Item ⋮ Chain logic and Shelah's infinitary logic

This page was built for publication: A new modal Lindström theorem