A new modal Lindström theorem

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

Authors: 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

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

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 (18)

• A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
• A Lindström theorem for intuitionistic first-order logic
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• 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
• A new coalgebraic Lindström theorem
• Lindström's theorem
• A Lindström theorem for intuitionistic propositional logic
• Craig interpolation for decidable first-order fragments
• Preservation theorems for Tarski's relation algebra
• Lindstrom theorems for fragments of first-order logic
• Chain logic and Shelah's infinitary logic
• Logic between expressivity and complexity
• Title not available (Why is that?)
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Lindström's theorem for positive logics, a topological view
• A novel approach to the Lindelöf hypothesis

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)