A study on multi-dimensional products of graphs and hybrid logics (Q654915)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A study on multi-dimensional products of graphs and hybrid logics |
scientific article; zbMATH DE number 5991568
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A study on multi-dimensional products of graphs and hybrid logics |
scientific article; zbMATH DE number 5991568 |
Statements
A study on multi-dimensional products of graphs and hybrid logics (English)
0 references
23 December 2011
0 references
products of graphs
0 references
intransitivity
0 references
hybrid languages
0 references
model-checking
0 references
products of modal logics
0 references
axiomatic systems
0 references
0 references
0 references
0.8711498
0 references
0.8632743
0 references
0.8630437
0 references
0.8603761
0 references
0.8554907
0 references
