15.3K(top 1%)
papers
136.6K(top 2%)
citations
103(top 2%)
h-index
160(top 2%)
g-index
15.8K
all documents
4.9K
doc citations

Top Articles

#TitleJournalYearCitations
1Scorekeeping in a language gameJournal of Philosophical Logic19791,415
2The logic of paradoxJournal of Philosophical Logic1979764
3Hedges: A study in meaning criteria and the logic of fuzzy conceptsJournal of Philosophical Logic1973692
4On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic1974517
5Two modellings for theory changeJournal of Philosophical Logic1988481
6Defaults in update semanticsJournal of Philosophical Logic1996466
7Argument-based extended logic programming with defeasible prioritiesJournal of Applied Non-Classical Logics1997428
8PresuppositionsJournal of Philosophical Logic1973401
9Modal Languages and Bounded Fragments of Predicate LogicJournal of Philosophical Logic1998401
10Contingent identityJournal of Philosophical Logic1975369
11What are logical notions?History and Philosophy of Logic1986326
12Impossible Worlds: A Modest ApproachNotre Dame Journal of Formal Logic1997325
13Differential identities of prime ringsAlgebra and Logic1978295
14Truth and paradoxJournal of Philosophical Logic1982274
15A calculus of individuals based on ``connection''.Notre Dame Journal of Formal Logic1981272
16Two-dimensional modal logicJournal of Philosophical Logic1973268
17Dynamic logic for belief revisionJournal of Applied Non-Classical Logics2007265
18An Overview of Tableau Algorithms for Description LogicsStudia Logica2001256
19A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.Notre Dame Journal of Formal Logic1987248
20Impossible possible worlds vindicatedJournal of Philosophical Logic1975239
21Averaging the truth-value in ?ukasiewicz logicStudia Logica1995233
22Proof Analysis in Modal LogicJournal of Philosophical Logic2005227
23Propositional calculus for contradictory deductive systemsStudia Logica1969224
24Minimally inconsistent LPStudia Logica1991223
25Multiset theory.Notre Dame Journal of Formal Logic1988216
26An extension of the basic functionality theory for the $\lambda$-calculus.Notre Dame Journal of Formal Logic1980215
27Display logicJournal of Philosophical Logic1982209
28Tolerant, Classical, StrictJournal of Philosophical Logic2012209
29Semantic analysis of orthologicJournal of Philosophical Logic1974208
30Input/Output LogicsJournal of Philosophical Logic2000208
31Notes on naive semanticsJournal of Philosophical Logic1982199
32Counterfactuals and comparative possibilityJournal of Philosophical Logic1973195
33On the logic of demonstrativesJournal of Philosophical Logic1979190
34Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its ApplicationsStudia Logica2003189
35The logic of essenceJournal of Philosophical Logic1995188
36Theory contraction through base contractionJournal of Philosophical Logic1991183
37Conceptual role semantics.Notre Dame Journal of Formal Logic1982182
38A Proof of Standard Completeness for Esteva and Godo's Logic MTLStudia Logica2002179
39A calculus of antinomies.Notre Dame Journal of Formal Logic1966178
40The deliberative stit: A study of action, omission, ability, and obligationJournal of Philosophical Logic1995178
41Question-begging in non-cumulative systemsJournal of Philosophical Logic1979177
42A Logical Account of Formal ArgumentationStudia Logica2009173
43Basic conditional logicJournal of Philosophical Logic1975170
44On the logic of theory change: Safe contractionStudia Logica1985170
45Dynamic logic of preference upgradeJournal of Applied Non-Classical Logics2007170
46Contrary-to-duty obligationsStudia Logica1996168
47On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculusHistory and Philosophy of Logic1981167
48Argumentation as dialecticalArgumentation1987165
49Some Puzzles of GroundNotre Dame Journal of Formal Logic2010165
50A Survey of Abstract Algebraic LogicStudia Logica2003164
51What is a syllogism?Journal of Philosophical Logic1973162
52Embeddings into simple associative algebrasAlgebra and Logic1976158
53Ordering semantics and premise semantics for counterfactualsJournal of Philosophical Logic1981155
54Dependence and IndependenceStudia Logica2013155
55Modal logic with subjunctive conditionals and dispositional predicatesJournal of Philosophical Logic1973151
56On a family of paradoxesNotre Dame Journal of Formal Logic1961150
57A paradox regained.Notre Dame Journal of Formal Logic1960149
58Individuals and points.Notre Dame Journal of Formal Logic1985148
59A note on naive set theory in ${\rm LP}$.Notre Dame Journal of Formal Logic1992146
60Scientific Representation and the Semantic View of TheoriesTheoria (Spain)2010144
61The semantics of entailment?IIJournal of Philosophical Logic1972142
62On branching quantifiers in EnglishJournal of Philosophical Logic1979139
63Why I am not a nominalist.Notre Dame Journal of Formal Logic1983137
64Modal logic with namesJournal of Philosophical Logic1993137
65Chunk and Permeate, a Paraconsistent Inference Strategy. Part I: The Infinitesimal CalculusJournal of Philosophical Logic2004133
66Merging Frameworks for InteractionJournal of Philosophical Logic2009133
67Epistemic planning for single- and multi-agent systemsJournal of Applied Non-Classical Logics2011133
68A Revenge-Immune Solution to the Semantic ParadoxesJournal of Philosophical Logic2003132
69Hyperintensional logicStudia Logica1975131
70Truth, belief, and vaguenessJournal of Philosophical Logic1976131
71The semantics of entailment ? IIIJournal of Philosophical Logic1972130
72Stochastic independence, causal independence, and shieldabilityJournal of Philosophical Logic1980130
73Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebrasAlgebra and Logic1977128
74Multiple quantification and the use of special quantifiers in early sixteenth century logic.Notre Dame Journal of Formal Logic1978127
75On the status of the postulate of recovery in the logic of theory changeJournal of Philosophical Logic1987127
76Necessity and truth theoriesJournal of Philosophical Logic1978126
77Dialogue theory for critical thinkingArgumentation1989126
78Notes on N-lattices and constructive logic with strong negationStudia Logica1977125
79Direct reference and ascriptions of beliefJournal of Philosophical Logic1983125
80Fallacies in pragma-dialectical perspectiveArgumentation1987125
81Intuitionistic logic with strong negationStudia Logica1977123
82Iterated revision and minimal change of conditional beliefsJournal of Philosophical Logic1996122
83Framing human inference by coherence based probability logicJournal of Applied Logic2009122
84Protoalgebraic logicsStudia Logica1986120
85Inconsistent Models of Arithmetic Part I: Finite ModelsJournal of Philosophical Logic1997120
86Constraints for Input/Output LogicsJournal of Philosophical Logic2001120
87An Adjacency Criterion for the Prime Graph of a Finite Simple GroupAlgebra and Logic2005120
88The liar paradoxJournal of Philosophical Logic1974118
89Everything Else Being Equal: A Modal Logic for Ceteris Paribus PreferencesJournal of Philosophical Logic2009118
90Comparing the Argumentum Model of Topics to Other Contemporary Approaches to Argument Schemes: The Procedural and Material ComponentsArgumentation2010118
91Some remarks on extending and interpreting theories with a partial predicate for truthJournal of Philosophical Logic1986117
92Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theoryHistory and Philosophy of Logic1980116
93Dynamic Logics of Evidence-Based BeliefsStudia Logica2011116
94Truth-Maker Semantics for Intuitionistic LogicJournal of Philosophical Logic2014116
95The Logic and Meaning of Plurals. Part IJournal of Philosophical Logic2005114
96In so many possible worlds.Notre Dame Journal of Formal Logic1972114
97Generalized identities with automorphismsAlgebra and Logic1975113
98What Are Degrees of Belief?Studia Logica2007113
99On a quasi-set theory.Notre Dame Journal of Formal Logic1992112
100AGM 25 YearsJournal of Philosophical Logic2011112