A MONADIC APPROACH TO THE MODAL THEORY (Q3818372)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A MONADIC APPROACH TO THE MODAL THEORY |
scientific article |
Statements
A MONADIC APPROACH TO THE MODAL THEORY (English)
0 references
1987
0 references
morphisms of monads
0 references
Vietoris monad
0 references
monads on modes
0 references
monad of non-empty subalgebras
0 references
monad of sinks
0 references
modals
0 references
complete distributive F-lattices
0 references
Eilenberg-Moore categories
0 references
category of complete Heyting algebras
0 references
