Algorithmic correspondence for hybrid logic with binder (Q5877706)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7653982
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8171776533126831
0 references
0.817143976688385
0 references
0.8115173578262329
0 references
0.7784620523452759
0 references
0.774925708770752
0 references
