Notre Dame Journal of Formal Logic

Title Publication Date Language Citations
On the theory of inconsistent formal systems.1974/10/01219
Impossible Worlds: A Modest Approach1997/10/01164
Multiset theory.1988/12/01127
An extension of the basic functionality theory for the $\lambda$-calculus.1980/10/0192
Some Puzzles of Ground2010/01/0187
A calculus of individuals based on ``connection''.1981/07/0182
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.1987/12/0175
A calculus of antinomies.1966/01/0168
A paradox regained.1960/01/0167
On the Strength of Ramsey's Theorem1995/10/0163
Conceptual role semantics.1982/04/0156
Quick completeness proofs for some logics of conditionals.1981/01/0155
Some exact equiconsistency results in set theory.1985/04/0148
Church's thesis and cognitive science.1987/10/0147
On a family of paradoxes1961/01/0147
Expressiveness and completeness of an interval tense logic.1990/09/0145
Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology.1999/04/0145
Toward a Theory of Second-Order Consequence1999/07/0144
On a quasi-set theory.1992/06/0144
Computable Models of Theories with Few Models1997/04/0143
Some embedding theorems for modal logic.1971/04/0142
Individuals and points.1985/01/0142
Degrees of Categoricity and the Hyperarithmetic Hierarchy2013/01/0141
Who's Afraid of Impossible Worlds?1997/10/0141
Sylvan's Box: A Short Story and Ten Morals1997/10/0141
Probability logic.1984/07/0140
Normal forms in modal logic.1975/04/0139
The Logic of Non-contingency1995/04/0138
Dual-Intuitionistic Logic1996/07/0138
In so many possible worlds.1972/10/0138