Coalgebraic Logic, Annals of Pure and Applied Logic, 1999
GPTKB entity
Statements (8)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:field |
gptkb:logic
coalgebraic logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Coalgebraic Logic, Annals of Pure and Applied Logic, 1999
|
| gptkbp:publicationYear |
1999
|
| gptkbp:publishedIn |
gptkb:Annals_of_Pure_and_Applied_Logic
|
| gptkbp:bfsParent |
gptkb:Moss's_coalgebraic_logic
|
| gptkbp:bfsLayer |
7
|