HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR (Q5499650)
From MaRDI portal
scientific article; zbMATH DE number 6468256
Language | Label | Description | Also known as |
---|---|---|---|
English | HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR |
scientific article; zbMATH DE number 6468256 |
Statements
30 July 2015
0 references
Hilbert algebras
0 references
\(H\square\)-algebras
0 references
intuitionistic modal logic
0 references
HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR (English)
0 references