中文开源期刊数据库期刊目录

Journal of Symbolic Logic

收录 6,164 篇论文，累计被引 119,615 次，出版年份 1936–2026。

收录篇数
6,164
总被引
119,615
篇均被引
19
单篇最高被引
3,222
年份区间
1936–2026
近五年篇数
548

逐年收录分布

近 40 个有收录的年份（最多 40 个）。悬停查看当年篇数。

0601201987 年：81 篇19871988 年：89 篇1989 年：104 篇1990 年：83 篇1991 年：107 篇1992 年：91 篇19921993 年：82 篇1994 年：92 篇1995 年：73 篇1996 年：70 篇1997 年：89 篇19971998 年：94 篇1999 年：116 篇2000 年：108 篇2001 年：115 篇2002 年：97 篇20022003 年：76 篇2004 年：77 篇2005 年：75 篇2006 年：78 篇2007 年：81 篇20072008 年：82 篇2009 年：80 篇2010 年：78 篇2011 年：79 篇2012 年：71 篇20122013 年：71 篇2014 年：67 篇2015 年：68 篇2016 年：83 篇2017 年：79 篇20172018 年：86 篇2019 年：108 篇2020 年：88 篇2021 年：102 篇2022 年：88 篇20222023 年：91 篇2024 年：70 篇2025 年：120 篇2026 年：77 篇2026
纵轴为当年收录篇数；峰值 120 篇（2025 年）。
查看数据表
年份篇数占比
2026772.2%
20251203.5%
2024702.0%
2023912.6%
2022882.5%
20211022.9%
2020882.5%
20191083.1%
2018862.5%
2017792.3%
2016832.4%
2015682.0%
2014671.9%
2013712.0%
2012712.0%
2011792.3%
2010782.3%
2009802.3%
2008822.4%
2007812.3%
2006782.3%
2005752.2%
2004772.2%
2003762.2%
2002972.8%
20011153.3%
20001083.1%
19991163.3%
1998942.7%
1997892.6%
1996702.0%
1995732.1%
1994922.7%
1993822.4%
1992912.6%
19911073.1%
1990832.4%
19891043.0%
1988892.6%
1987812.3%

代表作

  1. 0
    On the logic of theory change: Partial meet contraction and revision functions ↗

    1985 年 · 被引 3,222 次

  2. 1
    A formulation of the simple theory of types ↗

    1940 年 · 被引 1,903 次

  3. 2
    Introduction to Higher Order Categorical Logic. ↗

    1989 年 · 被引 1,083 次

  4. 3
    A completeness theorem in modal logic ↗

    1959 年 · 被引 1,082 次

  5. 4
    Completeness in the theory of types ↗

    1950 年 · 被引 834 次

  6. 5
    The relative efficiency of propositional proof systems ↗

    1979 年 · 被引 831 次

想知道这个刊近年在哪些主题上最活跃？把期刊名当作提问对象，让综述引擎挑出带引用的段落。

用这个主题提问