Positive monotone modal logic is the negation- and implication-free fragment of monotone modal logic, i.e., the fragment with connectives

中文翻译：

---

正单调模态逻辑

正单调模态逻辑是单调模态逻辑的否定和无蕴涵的片段，即带有连接词的片段