| # | Title | Journal | Year | Citations |
|---|
|
| 1 | Scorekeeping in a language game | Journal of Philosophical Logic | 1979 | 1,415 |
| 2 | The logic of paradox | Journal of Philosophical Logic | 1979 | 764 |
| 3 | Hedges: A study in meaning criteria and the logic of fuzzy concepts | Journal of Philosophical Logic | 1973 | 692 |
| 4 | On the theory of inconsistent formal systems. | Notre Dame Journal of Formal Logic | 1974 | 517 |
| 5 | Two modellings for theory change | Journal of Philosophical Logic | 1988 | 481 |
| 6 | Defaults in update semantics | Journal of Philosophical Logic | 1996 | 466 |
| 7 | Argument-based extended logic programming with defeasible priorities | Journal of Applied Non-Classical Logics | 1997 | 428 |
| 8 | Presuppositions | Journal of Philosophical Logic | 1973 | 401 |
| 9 | Modal Languages and Bounded Fragments of Predicate Logic | Journal of Philosophical Logic | 1998 | 401 |
| 10 | Contingent identity | Journal of Philosophical Logic | 1975 | 369 |
| 11 | What are logical notions? | History and Philosophy of Logic | 1986 | 326 |
| 12 | Impossible Worlds: A Modest Approach | Notre Dame Journal of Formal Logic | 1997 | 325 |
| 13 | Differential identities of prime rings | Algebra and Logic | 1978 | 295 |
| 14 | Truth and paradox | Journal of Philosophical Logic | 1982 | 274 |
| 15 | A calculus of individuals based on ``connection''. | Notre Dame Journal of Formal Logic | 1981 | 272 |
| 16 | Two-dimensional modal logic | Journal of Philosophical Logic | 1973 | 268 |
| 17 | Dynamic logic for belief revision | Journal of Applied Non-Classical Logics | 2007 | 265 |
| 18 | An Overview of Tableau Algorithms for Description Logics | Studia Logica | 2001 | 256 |
| 19 | A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. | Notre Dame Journal of Formal Logic | 1987 | 248 |
| 20 | Impossible possible worlds vindicated | Journal of Philosophical Logic | 1975 | 239 |
| 21 | Averaging the truth-value in ?ukasiewicz logic | Studia Logica | 1995 | 233 |
| 22 | Proof Analysis in Modal Logic | Journal of Philosophical Logic | 2005 | 227 |
| 23 | Propositional calculus for contradictory deductive systems | Studia Logica | 1969 | 224 |
| 24 | Minimally inconsistent LP | Studia Logica | 1991 | 223 |
| 25 | Multiset theory. | Notre Dame Journal of Formal Logic | 1988 | 216 |
| 26 | An extension of the basic functionality theory for the $\lambda$-calculus. | Notre Dame Journal of Formal Logic | 1980 | 215 |
| 27 | Display logic | Journal of Philosophical Logic | 1982 | 209 |
| 28 | Tolerant, Classical, Strict | Journal of Philosophical Logic | 2012 | 209 |
| 29 | Semantic analysis of orthologic | Journal of Philosophical Logic | 1974 | 208 |
| 30 | Input/Output Logics | Journal of Philosophical Logic | 2000 | 208 |
| 31 | Notes on naive semantics | Journal of Philosophical Logic | 1982 | 199 |
| 32 | Counterfactuals and comparative possibility | Journal of Philosophical Logic | 1973 | 195 |
| 33 | On the logic of demonstratives | Journal of Philosophical Logic | 1979 | 190 |
| 34 | Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications | Studia Logica | 2003 | 189 |
| 35 | The logic of essence | Journal of Philosophical Logic | 1995 | 188 |
| 36 | Theory contraction through base contraction | Journal of Philosophical Logic | 1991 | 183 |
| 37 | Conceptual role semantics. | Notre Dame Journal of Formal Logic | 1982 | 182 |
| 38 | A Proof of Standard Completeness for Esteva and Godo's Logic MTL | Studia Logica | 2002 | 179 |
| 39 | A calculus of antinomies. | Notre Dame Journal of Formal Logic | 1966 | 178 |
| 40 | The deliberative stit: A study of action, omission, ability, and obligation | Journal of Philosophical Logic | 1995 | 178 |
| 41 | Question-begging in non-cumulative systems | Journal of Philosophical Logic | 1979 | 177 |
| 42 | A Logical Account of Formal Argumentation | Studia Logica | 2009 | 173 |
| 43 | Basic conditional logic | Journal of Philosophical Logic | 1975 | 170 |
| 44 | On the logic of theory change: Safe contraction | Studia Logica | 1985 | 170 |
| 45 | Dynamic logic of preference upgrade | Journal of Applied Non-Classical Logics | 2007 | 170 |
| 46 | Contrary-to-duty obligations | Studia Logica | 1996 | 168 |
| 47 | On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus | History and Philosophy of Logic | 1981 | 167 |
| 48 | Argumentation as dialectical | Argumentation | 1987 | 165 |
| 49 | Some Puzzles of Ground | Notre Dame Journal of Formal Logic | 2010 | 165 |
| 50 | A Survey of Abstract Algebraic Logic | Studia Logica | 2003 | 164 |
| 51 | What is a syllogism? | Journal of Philosophical Logic | 1973 | 162 |
| 52 | Embeddings into simple associative algebras | Algebra and Logic | 1976 | 158 |
| 53 | Ordering semantics and premise semantics for counterfactuals | Journal of Philosophical Logic | 1981 | 155 |
| 54 | Dependence and Independence | Studia Logica | 2013 | 155 |
| 55 | Modal logic with subjunctive conditionals and dispositional predicates | Journal of Philosophical Logic | 1973 | 151 |
| 56 | On a family of paradoxes | Notre Dame Journal of Formal Logic | 1961 | 150 |
| 57 | A paradox regained. | Notre Dame Journal of Formal Logic | 1960 | 149 |
| 58 | Individuals and points. | Notre Dame Journal of Formal Logic | 1985 | 148 |
| 59 | A note on naive set theory in ${\rm LP}$. | Notre Dame Journal of Formal Logic | 1992 | 146 |
| 60 | Scientific Representation and the Semantic View of Theories | Theoria (Spain) | 2010 | 144 |
| 61 | The semantics of entailment?II | Journal of Philosophical Logic | 1972 | 142 |
| 62 | On branching quantifiers in English | Journal of Philosophical Logic | 1979 | 139 |
| 63 | Why I am not a nominalist. | Notre Dame Journal of Formal Logic | 1983 | 137 |
| 64 | Modal logic with names | Journal of Philosophical Logic | 1993 | 137 |
| 65 | Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal Calculus | Journal of Philosophical Logic | 2004 | 133 |
| 66 | Merging Frameworks for Interaction | Journal of Philosophical Logic | 2009 | 133 |
| 67 | Epistemic planning for single- and multi-agent systems | Journal of Applied Non-Classical Logics | 2011 | 133 |
| 68 | A Revenge-Immune Solution to the Semantic Paradoxes | Journal of Philosophical Logic | 2003 | 132 |
| 69 | Hyperintensional logic | Studia Logica | 1975 | 131 |
| 70 | Truth, belief, and vagueness | Journal of Philosophical Logic | 1976 | 131 |
| 71 | The semantics of entailment ? III | Journal of Philosophical Logic | 1972 | 130 |
| 72 | Stochastic independence, causal independence, and shieldability | Journal of Philosophical Logic | 1980 | 130 |
| 73 | Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras | Algebra and Logic | 1977 | 128 |
| 74 | Multiple quantification and the use of special quantifiers in early sixteenth century logic. | Notre Dame Journal of Formal Logic | 1978 | 127 |
| 75 | On the status of the postulate of recovery in the logic of theory change | Journal of Philosophical Logic | 1987 | 127 |
| 76 | Necessity and truth theories | Journal of Philosophical Logic | 1978 | 126 |
| 77 | Dialogue theory for critical thinking | Argumentation | 1989 | 126 |
| 78 | Notes on N-lattices and constructive logic with strong negation | Studia Logica | 1977 | 125 |
| 79 | Direct reference and ascriptions of belief | Journal of Philosophical Logic | 1983 | 125 |
| 80 | Fallacies in pragma-dialectical perspective | Argumentation | 1987 | 125 |
| 81 | Intuitionistic logic with strong negation | Studia Logica | 1977 | 123 |
| 82 | Iterated revision and minimal change of conditional beliefs | Journal of Philosophical Logic | 1996 | 122 |
| 83 | Framing human inference by coherence based probability logic | Journal of Applied Logic | 2009 | 122 |
| 84 | Protoalgebraic logics | Studia Logica | 1986 | 120 |
| 85 | Inconsistent Models of Arithmetic Part I: Finite Models | Journal of Philosophical Logic | 1997 | 120 |
| 86 | Constraints for Input/Output Logics | Journal of Philosophical Logic | 2001 | 120 |
| 87 | An Adjacency Criterion for the Prime Graph of a Finite Simple Group | Algebra and Logic | 2005 | 120 |
| 88 | The liar paradox | Journal of Philosophical Logic | 1974 | 118 |
| 89 | Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences | Journal of Philosophical Logic | 2009 | 118 |
| 90 | Comparing the Argumentum Model of Topics to Other Contemporary Approaches to Argument Schemes: The Procedural and Material Components | Argumentation | 2010 | 118 |
| 91 | Some remarks on extending and interpreting theories with a partial predicate for truth | Journal of Philosophical Logic | 1986 | 117 |
| 92 | Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory | History and Philosophy of Logic | 1980 | 116 |
| 93 | Dynamic Logics of Evidence-Based Beliefs | Studia Logica | 2011 | 116 |
| 94 | Truth-Maker Semantics for Intuitionistic Logic | Journal of Philosophical Logic | 2014 | 116 |
| 95 | The Logic and Meaning of Plurals. Part I | Journal of Philosophical Logic | 2005 | 114 |
| 96 | In so many possible worlds. | Notre Dame Journal of Formal Logic | 1972 | 114 |
| 97 | Generalized identities with automorphisms | Algebra and Logic | 1975 | 113 |
| 98 | What Are Degrees of Belief? | Studia Logica | 2007 | 113 |
| 99 | On a quasi-set theory. | Notre Dame Journal of Formal Logic | 1992 | 112 |
| 100 | AGM 25 Years | Journal of Philosophical Logic | 2011 | 112 |
