A new modal Lindström theorem

DOI10.1007/S11787-006-0006-3zbMATH Open1118.03012OpenAlexW2115454923MaRDI QIDQ874750FDOQ874750

Johan 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)

Cited In (12)

• A Lindström theorem for intuitionistic first-order logic
• On the Independent Axiomatizability of Modal and Intermediate Logics
• First-order modal logic: frame definability and a Lindström theorem
• A general Lindström theorem for some normal modal logics
• Logic between Expressivity and Complexity
• A Lindström theorem for intuitionistic propositional logic
• Craig interpolation for decidable first-order fragments
• Preservation theorems for Tarski's relation algebra
• Chain logic and Shelah's infinitary logic
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Title not available (Why is that?)
• A novel approach to the Lindelöf hypothesis

   Recommendations

• Lindstrom theorems for fragments of first-order logic 👍 👎
• A general Lindström theorem for some normal modal logics 👍 👎
• First-order modal logic: frame definability and a Lindström theorem 👍 👎
• A Lindström theorem in many-valued modal logic over a finite MTL-chain 👍 👎
• Coalgebraic Lindström theorems 👍 👎

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

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