- 充值
- 会员
- 职称材料
文献信息
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 LogicAlgebraic SemanticsSequent CalculusKnowledge RepresentationDynamic Epistemic LogicMonotonic ReasoningModalProof TheoryCompleteness TheoremRelational SemanticsNonmonotonic ReasoningModal OperatorThree-valued LogicLinear Temporal LogicNatural Deduction SystemModal Operators
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.