Duality for instantial neighbourhood logic via coalgebra

DOI10.1007/978-3-030-57201-3_3OpenAlexW3080783052MaRDI QIDQ2229227

Jim de Groot, Nick Bezhanishvili, Sebastian Enqvist

Publication date: 22 February 2021

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

zbMATH Keywords

modal logiccoalgebradualityinstantial neighbourhood logicdescriptive frames

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Hennessy-Milner properties via topological compactness

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