No label defined (Q4553286)
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: scientific article; zbMATH DE number 6970800 |
scientific article; zbMATH DE number 6970800
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 6970800 |
Statements
2 November 2018
0 references
complex systems
0 references
modelling
0 references
graphs
0 references
layered graphs
0 references
substructural logic
0 references
bunched logic
0 references
layered graph logic
0 references
predicate logic
0 references
tableaux
0 references
Kripke semantics
0 references
algebraic semantics
0 references
decidability
0 references
finite model property
0 references
Stone-type duality
0 references
soundness and completeness
0 references
bigraphs
0 references
pointer logic
0 references
hyperdoctrine
0 references
0 references
0.9294961
0 references
0.91842616
0 references
0.9154662
0 references
0.90902144
0 references
0 references
0.9064462
0 references
0.90175927
0 references
