A MONADIC APPROACH TO THE MODAL THEORY

DOI10.1515/DEMA-1987-1-222zbMath0666.08001OpenAlexW2783916997MaRDI QIDQ3818372

Andrzej Kurpiel

Publication date: 1987

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dema-1987-1-222

zbMATH Keywords

Eilenberg-Moore categoriesmodalscategory of complete Heyting algebrascomplete distributive F-latticesmonad of non-empty subalgebrasmonad of sinksmonads on modesmorphisms of monadsVietoris monad

Mathematics Subject Classification ID

Complete distributivity (06D10) Heyting algebras (lattice-theoretic aspects) (06D20) Subalgebras, congruence relations (08A30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Semilattices (06A12) Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: A MONADIC APPROACH TO THE MODAL THEORY