No label defined (Q4553286)
From MaRDI portal
scientific article; zbMATH DE number 6970800
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
