Notre Dame Journal of Formal Logic

The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.


Volume 26, Number 1

Publication Date: January 1985

Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 26, issue 1 (1985)

A note on satisfaction classes.

Roman Kossak; 1-8

Validity in intensional languages: a new approach.

William H. Hanson and James Hawthorne; 9-35

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; 36-50

A completeness theorem for dynamic logic.

László Csirmaz; 51-60

Individuals and points.

Bowman L. Clark; 61-75

Principal congruences of tetravalent modal algebras.

Isabel Loureiro; 76-80

Number-theoretic set theories.

Paul Strauss; 81-95

Errata for volumes 24 and 25.

96

Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 26, issue 1 (1985)


2013 © University of Notre Dame