From IF to BI. A tale of dependence and separation (Q833040)
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: From IF to BI. A tale of dependence and separation
scientific article; zbMATH DE number 5593776
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From IF to BI. A tale of dependence and separation |
scientific article; zbMATH DE number 5593776 |
Statements
From IF to BI. A tale of dependence and separation (English)
0 references
11 August 2009
0 references
independence-friendly logic
0 references
dependence logic
0 references
branching quantifiers
0 references
logic of bunched implications
0 references
functional dependence
0 references
full abstraction
0 references
Tarski semantics
0 references
team semantics
0 references
quantifiers as adjoints
0 references
0 references
0.7037228
0 references
0 references
0 references
0.6741991
0 references
