Some complete logics for branched time / Instituut voor Taal, Logica en Informatie, Amsterdam
| rdfs:label | "Some complete logics for branched time / Instituut voor Taal, Logica en Informatie, Amsterdam" |
| schema:name | "Some complete logics for branched time" |
| schema:contributor | Bowen, Kenneth A. |
| Jongh, D.H.J. de (1939-) | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1986" |
|
schema:in |
"en" |
|
schema:is |
Some complete logics for branched time |
| ITLI prepublication series | |
|
schema:issue |
10 |
|
schema:number |
14 |
| schema:publication |
<https:/ |