0.3(top 100%)
impact factor
2.6K(top 10%)
papers
19.7K(top 10%)
citations
55(top 10%)
h-index
0.4(top 50%)
extended IF
2.7K
all documents
20.9K
doc citations
87(top 10%)
g-index
Top Articles
| # | Title | Journal | Year | Citations |
|---|---|---|---|---|
| 1 | On the theory of inconsistent formal systems. | Notre Dame Journal of Formal Logic | 1974 | 517 |
| 2 | Impossible Worlds: A Modest Approach | Notre Dame Journal of Formal Logic | 1997 | 325 |
| 3 | A calculus of individuals based on ``connection''. | Notre Dame Journal of Formal Logic | 1981 | 272 |
| 4 | A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. | Notre Dame Journal of Formal Logic | 1987 | 248 |
| 5 | Multiset theory. | Notre Dame Journal of Formal Logic | 1988 | 216 |
| 6 | An extension of the basic functionality theory for the $\lambda$-calculus. | Notre Dame Journal of Formal Logic | 1980 | 215 |
| 7 | Conceptual role semantics. | Notre Dame Journal of Formal Logic | 1982 | 182 |
| 8 | A calculus of antinomies. | Notre Dame Journal of Formal Logic | 1966 | 178 |
| 9 | Some Puzzles of Ground | Notre Dame Journal of Formal Logic | 2010 | 165 |
| 10 | On a family of paradoxes | Notre Dame Journal of Formal Logic | 1961 | 150 |
| 11 | A paradox regained. | Notre Dame Journal of Formal Logic | 1960 | 149 |
| 12 | Individuals and points. | Notre Dame Journal of Formal Logic | 1985 | 148 |
| 13 | A note on naive set theory in ${\rm LP}$. | Notre Dame Journal of Formal Logic | 1992 | 146 |
| 14 | Why I am not a nominalist. | Notre Dame Journal of Formal Logic | 1983 | 137 |
| 15 | Multiple quantification and the use of special quantifiers in early sixteenth century logic. | Notre Dame Journal of Formal Logic | 1978 | 127 |
| 16 | In so many possible worlds. | Notre Dame Journal of Formal Logic | 1972 | 114 |
| 17 | On a quasi-set theory. | Notre Dame Journal of Formal Logic | 1992 | 112 |
| 18 | Sylvan's Box: A Short Story and Ten Morals | Notre Dame Journal of Formal Logic | 1997 | 110 |
| 19 | Expressiveness and completeness of an interval tense logic. | Notre Dame Journal of Formal Logic | 1990 | 108 |
| 20 | Quick completeness proofs for some logics of conditionals. | Notre Dame Journal of Formal Logic | 1981 | 99 |
| 21 | Bolzano's Theory of Ground and Consequence | Notre Dame Journal of Formal Logic | 2002 | 97 |
| 22 | A semantical analysis of the calculi ${\bf C}_n$. | Notre Dame Journal of Formal Logic | 1977 | 96 |
| 23 | Intention-based semantics. | Notre Dame Journal of Formal Logic | 1982 | 92 |
| 24 | Some exact equiconsistency results in set theory. | Notre Dame Journal of Formal Logic | 1985 | 91 |
| 25 | Incomplete definite descriptions. | Notre Dame Journal of Formal Logic | 1986 | 91 |
| 26 | The treatment of semantic paradoxes from 1400 to 1700. | Notre Dame Journal of Formal Logic | 1972 | 90 |
| 27 | Probability logic. | Notre Dame Journal of Formal Logic | 1984 | 87 |
| 28 | The formalizing of the topics in mediaeval logic. | Notre Dame Journal of Formal Logic | 1960 | 86 |
| 29 | On the Strength of Ramsey's Theorem | Notre Dame Journal of Formal Logic | 1995 | 86 |
| 30 | Cognitive science and the twin-Earth problem. | Notre Dame Journal of Formal Logic | 1982 | 85 |
| 31 | Which Modal Logic Is the Right One? | Notre Dame Journal of Formal Logic | 1999 | 84 |
| 32 | Toward a Theory of Second-Order Consequence | Notre Dame Journal of Formal Logic | 1999 | 83 |
| 33 | Tableau methods of proof for modal logics. | Notre Dame Journal of Formal Logic | 1972 | 75 |
| 34 | Information and circumstance. | Notre Dame Journal of Formal Logic | 1986 | 74 |
| 35 | Some embedding theorems for modal logic. | Notre Dame Journal of Formal Logic | 1971 | 72 |
| 36 | Logic, Logics, and Logicism | Notre Dame Journal of Formal Logic | 1999 | 72 |
| 37 | Normal forms in modal logic. | Notre Dame Journal of Formal Logic | 1975 | 70 |
| 38 | Classifications for inconsistent theories. | Notre Dame Journal of Formal Logic | 1978 | 70 |
| 39 | Logic of antinomies. | Notre Dame Journal of Formal Logic | 1975 | 69 |
| 40 | Is Hume's Principle Analytic? | Notre Dame Journal of Formal Logic | 1999 | 69 |
| 41 | The simple consistency of a set theory based on the logic ${\rm CSQ}$. | Notre Dame Journal of Formal Logic | 1983 | 67 |
| 42 | Inclosures, Vagueness, and Self-Reference | Notre Dame Journal of Formal Logic | 2010 | 67 |
| 43 | Logical constants as punctuation marks. | Notre Dame Journal of Formal Logic | 1989 | 62 |
| 44 | Some things do not exist. | Notre Dame Journal of Formal Logic | 1966 | 61 |
| 45 | Axioms for tense logic. I. ``Since'' and ``until''. | Notre Dame Journal of Formal Logic | 1982 | 61 |
| 46 | Irrevocable Belief Revision in Dynamic Doxastic Logic | Notre Dame Journal of Formal Logic | 1998 | 60 |
| 47 | Computable Models of Theories with Few Models | Notre Dame Journal of Formal Logic | 1997 | 60 |
| 48 | The consistency of the axioms of abstraction and extensionality in a three-valued logic. | Notre Dame Journal of Formal Logic | 1971 | 59 |
| 49 | Inaccessible worlds. | Notre Dame Journal of Formal Logic | 1983 | 59 |
| 50 | Ockham on self-reference. | Notre Dame Journal of Formal Logic | 1974 | 58 |