A new coalgebraic Lindström theorem

DOI10.1093/logcom/exu045zbMath1444.03050OpenAlexW2147892671MaRDI QIDQ2957957

Sebastian Enqvist

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu045

zbMATH Keywords

modal logiccoalgebraabstract model theoryLindström's theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items (2)

First-order modal logic: frame definability and a Lindström theorem ⋮ Chain logic and Shelah's infinitary logic

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