Studia Logica

0.4(top 50%)

impact factor

2.9K(top 10%)

papers

25.3K(top 10%)

citations

58(top 10%)

h-index

0.5(top 50%)

impact factor

3.3K

all documents

27.4K

doc citations

87(top 10%)

g-index

Top Articles

#	Title	Journal	Year	Citations
1	An Overview of Tableau Algorithms for Description Logics	Studia Logica	2001	253
2	Averaging the truth-value in ?ukasiewicz logic	Studia Logica	1995	230
3	Minimally inconsistent LP	Studia Logica	1991	222
4	Propositional calculus for contradictory deductive systems	Studia Logica	1969	219
5	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications	Studia Logica	2003	189
6	A Proof of Standard Completeness for Esteva and Godo's Logic MTL	Studia Logica	2002	178
7	On the logic of theory change: Safe contraction	Studia Logica	1985	170
8	A Logical Account of Formal Argumentation	Studia Logica	2009	170
9	Contrary-to-duty obligations	Studia Logica	1996	168
10	A Survey of Abstract Algebraic Logic	Studia Logica	2003	163
11	Dependence and Independence	Studia Logica	2013	150
12	Hyperintensional logic	Studia Logica	1975	127
13	Intuitionistic logic with strong negation	Studia Logica	1977	121
14	Protoalgebraic logics	Studia Logica	1986	120
15	Notes on N-lattices and constructive logic with strong negation	Studia Logica	1977	118
16	Dynamic Logics of Evidence-Based Beliefs	Studia Logica	2011	113
17	Belief contraction without recovery	Studia Logica	1991	110
18	States on Pseudo MV-Algebras	Studia Logica	2001	110
19	What Are Degrees of Belief?	Studia Logica	2007	110
20	Positive modal logic	Studia Logica	1995	109
21	Five faces of minimality	Studia Logica	1993	106
22	A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic	Studia Logica	1979	104
23	Generalized net structures of empirical theories. I	Studia Logica	1977	102
24	Partiality and Its Dual	Studia Logica	2000	101
25	A propositional logic with explicit fixed points	Studia Logica	1981	99
26	The origin of relation algebras in the development and axiomatization of the calculus of relations	Studia Logica	1991	95
27	Perfect MV-algebras are categorically equivalent to abelianl-groups	Studia Logica	1994	95
28	Algebraization of quantifier logics, an introductory overview	Studia Logica	1991	92
29	Deontic Interpreted Systems	Studia Logica	2003	91
30	S. Leśniewski's calculus of names	Studia Logica	1955	90
31	Matrix approach in methodology of sentential calculi	Studia Logica	1973	90
32	(null)	Studia Logica	1997	90
33	On an Intuitionistic Modal Logic	Studia Logica	2000	90
34	A compact representation of proofs	Studia Logica	1987	86
35	On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic	Studia Logica	2002	86
36	The Quantitative/Qualitative Watershed for Rules of Uncertain Inference	Studia Logica	2007	85
37	Cut-free sequent calculi for some tense logics	Studia Logica	1994	84
38	Basic Hoops: an Algebraic Study of Continuous t-norms	Studia Logica	2007	84
39	Quantifiers as modal operators	Studia Logica	1980	83
40	Classical relevant logics II	Studia Logica	1974	81
41	A Model of Tolerance	Studia Logica	2008	81
42	Equivalential logics (I)	Studia Logica	1981	80
43	Four dialogue systems	Studia Logica	1990	79
44	Time and modality in the logic of agency	Studia Logica	1992	79
45	Models for normal intuitionistic modal logics	Studia Logica	1984	78
46	Sequent-systems and groupoid models. I	Studia Logica	1988	78
47	The Fregean Axiom and Polish mathematical logic in the 1920s	Studia Logica	1977	77
48	Graded modalities. I	Studia Logica	1985	73
49	Classical relevant logics. I	Studia Logica	1973	72
50	Decidability for branching time	Studia Logica	1980	71

Scientometrics

Overviews

Citing Bodies

Studia Logica

Top Articles