Completeness for ancestral logic via a computationally-meaningful semantics (Q1694469)
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: Completeness for ancestral logic via a computationally-meaningful semantics |
scientific article; zbMATH DE number 6833560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness for ancestral logic via a computationally-meaningful semantics |
scientific article; zbMATH DE number 6833560 |
Statements
Completeness for ancestral logic via a computationally-meaningful semantics (English)
0 references
2 February 2018
0 references
0 references
0.8808195
0 references
0.8725597
0 references
0.87135136
0 references
0.8685225
0 references
0 references
0.86745256
0 references
0.8657871
0 references
0.8649806
0 references
