Kripke Semantics for Modal Bilattice Logic (Q5271081)
From MaRDI portal
scientific article; zbMATH DE number 6738824
Language | Label | Description | Also known as |
---|---|---|---|
English | Kripke Semantics for Modal Bilattice Logic |
scientific article; zbMATH DE number 6738824 |
Statements
Kripke Semantics for Modal Bilattice Logic (English)
0 references
3 July 2017
0 references
bilattice logic
0 references
modal logic
0 references
Priestley duality
0 references
algebraic logic
0 references