VOL. 43 · NO. 4 | 2002
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 43 (4), (2002)
No abstract available
Articles
Yannis Stephanou
Notre Dame J. Formal Logic 43 (4), 193-220, (2002) DOI: 10.1305/ndjfl/1074396306
KEYWORDS: first-order modal logic, serious actualism, 03B45, 03B65
Stephen Pollard
Notre Dame J. Formal Logic 43 (4), 221-230, (2002) DOI: 10.1305/ndjfl/1074396307
KEYWORDS: closure spaces, expressive logics, classical truth functions, 03B22, 03B05
Krzysztof Krupiński, Ludomir Newelski
Notre Dame J. Formal Logic 43 (4), 231-242, (2002) DOI: 10.1305/ndjfl/1074396308
KEYWORDS: type-definable equivalence relations, balanced relations, 03C45
D. C. McCarty
Notre Dame J. Formal Logic 43 (4), 243-248, (2002) DOI: 10.1305/ndjfl/1074396309
KEYWORDS: Intuitionistic logic, completeness, Incompleteness, 03F55, 03F50
Koichiro Ikeda
Notre Dame J. Formal Logic 43 (4), 249-254, (2002) DOI: 10.1305/ndjfl/1074396310
KEYWORDS: generic model, Projective plane, omega-categoricity, 03C35, 03C45
Back Matter
Notre Dame J. Formal Logic 43 (4), (2002)
No abstract available
Notre Dame J. Formal Logic 43 (4), (2002)
No abstract available
Back to Top