Duality for instantial neighbourhood logic via coalgebra

DOI10.1007/978-3-030-57201-3_3MaRDI QIDQ2229227zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot

Publication date 22 February 2021

Full work available at URL https://doi.org/10.1007/978-3-030-57201-3_3

zbMATH Keywords

coalgebradescriptive framesdualityinstantial neighbourhood logicmodal logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 7577568
• Instantial neighbourhood logic
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Duality between modal algebras and neighbourhood frames
• Neighbourhood Structures: Bisimilarity and Basic Model Theory

Cited in

(5)

• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Hennessy-Milner properties via topological compactness
• Coalgebraic Geometric Logic: Basic Theory
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Powerset-like monads weakly distribute over themselves in toposes and compact Hausdorff spaces

This page was built for publication: Duality for instantial neighbourhood logic via coalgebra

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