- 充值
- 会员
- 职称材料
文献信息
The Journal of Applied Non-Classical Logics (JANCL) is a world-leading journal at the intersection of computer science, philosophical logic, and mathematical logic. There is a focus on applications in all topics that deviate from classical or standard logics, although theoretical papers of a high quality will also be considered.
Modal LogicPropositional LogicTemporal LogicIntuitionistic LogicParaconsistent LogicKnowledge RepresentationAlgebraic SemanticsSequent CalculusDynamic Epistemic LogicMonotonic ReasoningModalProof TheoryCompleteness TheoremRelational SemanticsNonmonotonic ReasoningModal OperatorThree-valued LogicLinear Temporal LogicNatural Deduction SystemPropositional Dynamic Logic
vol.35 (2025)
vol.34 (2024)
vol.33 (2023)
vol.32 (2022)
vol.31 (2021)
vol.30 (2020)
vol.29 (2019)
vol.28 (2018)
vol.27 (2017)
vol.26 (2016)
vol.25 (2015)
vol.24 (2014)
vol.23 (2013)
vol.22 (2012)
vol.21 (2011)
vol.20 (2010)
vol.19 (2009)
vol.18 (2008)
vol.17 (2007)
vol.16 (2006)
vol.15 (2005)
vol.14 (2004)
vol.13 (2003)
vol.12 (2002)
vol.11 (2001)
vol.10 (2000)
vol.9 (1999)
vol.8 (1998)
vol.7 (1997)
vol.6 (1996)
vol.5 (1995)
vol.4 (1994)
vol.3 (1993)
vol.2 (1992)
vol.1 (1991)