KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523)
From MaRDI portal
scientific article; zbMATH DE number 7186297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS |
scientific article; zbMATH DE number 7186297 |
Statements
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (English)
0 references
6 April 2020
0 references
semilattices with operators
0 references
modal logic
0 references
Kripke completeness
0 references
strict implication
0 references
description logic
0 references
decidability
0 references
computational complexity
0 references
spi-logic
0 references
sp-formula
0 references
sp-implication
0 references
SLO
0 references
0 references
0 references
0 references
