Algorithmic correspondence for hybrid logic with binder (Q5877706)
From MaRDI portal
scientific article; zbMATH DE number 7653982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algorithmic correspondence for hybrid logic with binder |
scientific article; zbMATH DE number 7653982 |
Statements
Algorithmic correspondence for hybrid logic with binder (English)
0 references
16 February 2023
0 references
correspondence theory
0 references
hybrid logic with binder
0 references
ALBA algorithm
0 references
