A MONADIC APPROACH TO THE MODAL THEORY
type: Item
instance of: scholarly article
title: A MONADIC APPROACH TO THE MODAL THEORY
zbMATH Open document ID: 0666.08001
author: Andrzej Kurpiel
published in: Demonstratio Mathematica
publication date: 1987-01-01T00:00:00Z
Mathematics Subject Classification ID: 08A30
Mathematics Subject Classification ID: 06A12
Mathematics Subject Classification ID: 06D10
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 18C20
zbMATH DE Number: 4089623
zbMATH Keywords: morphisms of monads
zbMATH Keywords: Vietoris monad
zbMATH Keywords: monads on modes
zbMATH Keywords: monad of non-empty subalgebras
zbMATH Keywords: monad of sinks
zbMATH Keywords: modals
zbMATH Keywords: complete distributive F-lattices
zbMATH Keywords: Eilenberg-Moore categories
zbMATH Keywords: category of complete Heyting algebras
MaRDI profile type: MaRDI publication profile
full work available at URL: dema-1987-1-222
OpenAlex ID: W2783916997
DOI: 10.1515/DEMA-1987-1-222
Recommended article: A coalgebraic perspective on monotone modal logic
Recommended article: On Monadic Theories of Monadic Predicates
Recommended article: Modular monadic meta-theory
Recommended article: MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Recommended article: The monodic fragment of propositional term modal logic
Recommended article: Q5752543
Recommended article: On the existence of a modal-logical basis for monadic second-order logic
Recommended article: Proof theory for quantified monotone modal logics
Recommended article: Q3346281
Recommended article: Monadic Σ 1 1 and Modal Logic with Quantified Binary R
description: scientific article