VOL. 41 · NO. 2 | 2000
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 41 (2), (2000)
No abstract available
Articles
Wayne Wobcke
Notre Dame J. Formal Logic 41 (2), 95-141, (2000) DOI: 10.1305/ndjfl/1038234607
KEYWORDS: conditional logic, situation semantics, knowledge representation, 68T27
Toshio Suzuki
Notre Dame J. Formal Logic 41 (2), 142-151, (2000) DOI: 10.1305/ndjfl/1038234608
KEYWORDS: computational complexity, generic oracle, random oracle, t-generic oracle, 68Q15, 03D15
David Bennett
Notre Dame J. Formal Logic 41 (2), 152-170, (2000) DOI: 10.1305/ndjfl/1038234609
KEYWORDS: set, Cantorian, axiom, links, descendant, single, foundation, basic, 03E30, 00A30
Giorgi Japaridze
Notre Dame J. Formal Logic 41 (2), 171-183, (2000) DOI: 10.1305/ndjfl/1038234610
KEYWORDS: tasks, Game semantics, linear logic, substructural logics, 03B47, 03B70, 68T27
Back Matter
Notre Dame J. Formal Logic 41 (2), (2000)
No abstract available
Back to Top