A Van Benthem/Rosen theorem for coalgebraic predicate logic

DOI10.1093/logcom/exv043zbMath1388.03069OpenAlexW2337715273MaRDI QIDQ2983396

Tadeusz Litak, Dirk Pattinson, Lutz Schröder

Publication date: 17 May 2017

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

Full work available at URL: https://semanticscholar.org/paper/9589685f4dfa3af2f0d1dce6d094ddf987716d1d

zbMATH Keywords

modal logiccoalgebracorrespondence theorybisimulation invarianceGaifman locality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ A quantified coalgebraic van Benthem theorem ⋮ Correspondence, canonicity, and model theory for monotonic modal logics