Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 25 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 25 · NO. 2 | April 1984
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 25, issue 2 (1984)
Notre Dame J. Formal Logic 25 (2), (April 1984)
No abstract available
DOWNLOAD PAPER
Articles
A pair of nonisomorphic $\equiv_{\infty \lambda}$ models of power $\lambda$ for $\lambda$ singular with $\lambda_\omega=\lambda$.
Saharon Shelah
Notre Dame J. Formal Logic 25 (2), 97-104, (April 1984) DOI: 10.1305/ndjfl/1093870570
KEYWORDS: 03C75
No abstract available
DOWNLOAD PAPER
Epistemic semantics for classical and intuitionistic logic.
John N. Martin
Notre Dame J. Formal Logic 25 (2), 105-116, (April 1984) DOI: 10.1305/ndjfl/1093870571
KEYWORDS: 03B50, 03B20
No abstract available
DOWNLOAD PAPER
On the relationship between one-point frames and degrees of unsatisfiability of modal formulas.
Fabio Bellissima
Notre Dame J. Formal Logic 25 (2), 117-126, (April 1984) DOI: 10.1305/ndjfl/1093870572
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On certain lattices of degrees of interpretability.
Per Lindström
Notre Dame J. Formal Logic 25 (2), 127-140, (April 1984) DOI: 10.1305/ndjfl/1093870573
KEYWORDS: 03F25, 03F30
No abstract available
DOWNLOAD PAPER
Conjunctive normal forms and weak modal logics without the axiom of necessity.
Shigeo Ōhama
Notre Dame J. Formal Logic 25 (2), 141-151, (April 1984) DOI: 10.1305/ndjfl/1093870574
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Some results on quantifiers.
Dag Westerståhl
Notre Dame J. Formal Logic 25 (2), 152-170, (April 1984) DOI: 10.1305/ndjfl/1093870575
KEYWORDS: 03B65, 03C80
No abstract available
DOWNLOAD PAPER
Constructing sequent rules for generalized propositional logics.
Richard L. Call
Notre Dame J. Formal Logic 25 (2), 171-178, (April 1984) DOI: 10.1305/ndjfl/1093870576
KEYWORDS: 03B05, 03F99
No abstract available
DOWNLOAD PAPER
The predicate modal logic of provability.
Franco Montagna
Notre Dame J. Formal Logic 25 (2), 179-189, (April 1984) DOI: 10.1305/ndjfl/1093870577
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 25, issue 2 (1984)
Notre Dame J. Formal Logic 25 (2), (April 1984)
No abstract available
DOWNLOAD PAPER
Back to Top