Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 26 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 26 · NO. 1 | January 1985
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 26, issue 1 (1985)
Notre Dame J. Formal Logic 26 (1), (January 1985) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A note on satisfaction classes.
Roman Kossak
Notre Dame J. Formal Logic 26 (1), 1-8, (January 1985) DOI: 10.1305/ndjfl/1093870757 Open Access
KEYWORDS: 03H15, 03C50, 03C62
No abstract available
DOWNLOAD PAPER
Validity in intensional languages: a new approach.
William H. Hanson, James Hawthorne
Notre Dame J. Formal Logic 26 (1), 9-35, (January 1985) DOI: 10.1305/ndjfl/1093870758 Open Access
KEYWORDS: 03B45, 03A05
No abstract available
DOWNLOAD PAPER
On the possible number ${\rm no}(M)=$ the number of nonisomorphic models $L_{\infty,\lambda}$-equivalent to $M$ of power $\lambda$, for $\lambda$ singular.
Saharon Shelah
Notre Dame J. Formal Logic 26 (1), 36-50, (January 1985) DOI: 10.1305/ndjfl/1093870759 Open Access
KEYWORDS: 03C75, 03C55
No abstract available
DOWNLOAD PAPER
A completeness theorem for dynamic logic.
László Csirmaz
Notre Dame J. Formal Logic 26 (1), 51-60, (January 1985) DOI: 10.1305/ndjfl/1093870760 Open Access
KEYWORDS: 68Q60, 03B70
No abstract available
DOWNLOAD PAPER
Individuals and points.
Bowman L. Clark
Notre Dame J. Formal Logic 26 (1), 61-75, (January 1985) DOI: 10.1305/ndjfl/1093870761 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Principal congruences of tetravalent modal algebras.
Isabel Loureiro
Notre Dame J. Formal Logic 26 (1), 76-80, (January 1985) DOI: 10.1305/ndjfl/1093870762 Open Access
KEYWORDS: 03G25, 03B45, 03B50, 06D99, 08B99
No abstract available
DOWNLOAD PAPER
Number-theoretic set theories.
Paul Strauss
Notre Dame J. Formal Logic 26 (1), 81-95, (January 1985) DOI: 10.1305/ndjfl/1093870763 Open Access
KEYWORDS: 03F35, 03E70
No abstract available
DOWNLOAD PAPER
Back Matter
Errata for volumes 24 and 25.
Notre Dame J. Formal Logic 26 (1), 96, (January 1985) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 26, issue 1 (1985)
Notre Dame J. Formal Logic 26 (1), (January 1985) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top