Kripke contexts, double Boolean algebras with operators and corresponding modal systems (Q6117142)
From MaRDI portal
scientific article; zbMATH DE number 7727822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kripke contexts, double Boolean algebras with operators and corresponding modal systems |
scientific article; zbMATH DE number 7727822 |
Statements
Kripke contexts, double Boolean algebras with operators and corresponding modal systems (English)
0 references
16 August 2023
0 references
formal concept analysis
0 references
rough set theory
0 references
Boolean algebra with operators
0 references
double Boolean algebra
0 references
modal logic
0 references
