# | 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 |