Analogues of Bull’s theorem for hybrid logic (Q5382581)
From MaRDI portal
scientific article; zbMATH DE number 7067263
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analogues of Bull’s theorem for hybrid logic |
scientific article; zbMATH DE number 7067263 |
Statements
Analogues of Bull’s theorem for hybrid logic (English)
0 references
18 June 2019
0 references
hybrid logic
0 references
finite model property
0 references
hybrid algebras
0 references
Bull's theorem
0 references
