Modal Logic and the Vietoris Functor

DOI10.1007/978-94-017-8860-1_6zbMath1350.03021OpenAlexW1904448074MaRDI QIDQ5255794

Jacob Vosmaer, Yde Venema

Publication date: 19 June 2015

Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/2345650/157649_Modal_logic_and_the_Vietoris_functor.pdf

zbMATH Keywords

modal logiccoalgebraVietoris topologyStone duality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Special categories (18B99)

Related Items (4)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Limits in categories of Vietoris coalgebras

This page was built for publication: Modal Logic and the Vietoris Functor