VOL. 49 · NO. 3 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (3), (2008)
No abstract available
Articles
Christopher P. Alfeld
Notre Dame J. Formal Logic 49 (3), 227-243, (2008) DOI: 10.1215/00294527-2008-009
KEYWORDS: $\Pi^0_1$ classes, Medvedev lattice, branching degree, 03D30
John Cantwell
Notre Dame J. Formal Logic 49 (3), 245-260, (2008) DOI: 10.1215/00294527-2008-010
KEYWORDS: three-valued logic, inner negation, outer negation, conditionals, 03B50
Boudewijn de Bruin
Notre Dame J. Formal Logic 49 (3), 261-280, (2008) DOI: 10.1215/00294527-2008-011
KEYWORDS: common knowledge, epistemic characterization theorem, rationality, 03B42, 91A18, 91A26
Ben Ellison, Jonathan Fleischmann, Dan McGinn, Wim Ruitenburg
Notre Dame J. Formal Logic 49 (3), 281-293, (2008) DOI: 10.1215/00294527-2008-012
KEYWORDS: intuitionistic predicate logic, quantifier elimination, Kripke model, Fraïssé homogeneous, normal forms, 03C10, 03F55, 03C35, 03C90, 03F05
Tomasz Kowalski
Notre Dame J. Formal Logic 49 (3), 295-305, (2008) DOI: 10.1215/00294527-2008-013
KEYWORDS: BCI logic, sequent system, self-implication, 03F07, 03B47
Paolo Lipparini
Notre Dame J. Formal Logic 49 (3), 307-312, (2008) DOI: 10.1215/00294527-2008-014
KEYWORDS: cofinality of a partial order, (productive) [μ,λ]-compactness, 03C20, 03E04, 03C95, 54D20, $λ-decomposable, (μ,λ)-regular (ultra)-filter
Graham White
Notre Dame J. Formal Logic 49 (3), 313-343, (2008) DOI: 10.1215/00294527-2008-015
KEYWORDS: Explanation, causality, modal logic, cut elimination, 03B45, 03B45, 03F05
Back Matter
Notre Dame J. Formal Logic 49 (3), (2008)
No abstract available
Back to Top