Journal of Applied Non-Classical Logics

Aims & Scope

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.

Topics covered include, but are not limited to, the following: • Formal aspects of non-classical formalisms: completeness, decidability, complexity. • Applications of non-classical logics to Artificial Intelligence (AI) and cognitive science: knowledge representation, automated reasoning, natural language processing. • Theoretical computer science: program verification, program synthesis.

JANCL therefore encourages original submissions in these and related areas.

Proposals for special issues in cutting-edge areas are encouraged, and should be discussed with the Editor-in-Chief.

View Aims & Scope

---

Metrics & Ranking

Journal Rank

Year	Value
2024	15372

Journal Citation Indicator

Year	Value
2024	33

SJR (SCImago Journal Rank)

Year	Value
2024	0.341

Quartile

Year	Value
2024	Q1

h-index

Year	Value
2024	33

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Arts and Humanities and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Argument-based extended logic programming with defeasible priorities

  Citation: 353

  Authors: Henry, Giovanni

• Dynamic logic for belief revision

  Citation: 241

  Authors: Johan

• Dynamic logic of preference upgrade

  Citation: 153

  Authors: Johan, Fenrong

• Epistemic planning for single- and multi-agent systems

  Citation: 123

  Authors: Thomas, Mikkel Birkegaard

• A Road Map of Interval Temporal Logics and Duration Calculi

  Citation: 104

  Authors: Valentin, Angelo, Guido

• On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

  Citation: 83

  Authors: Adnan

• Constructive knowledge: what agents can achieve under imperfect information

  Citation: 71

  Authors: Wojciech, Thomas

• Some (in)translatability results for normal logic programs and propositional theories

  Citation: 69

  Authors: Tomi

• Semi-revision

  Citation: 68

  Authors: Sven

• Constructive negation, implication, and co-implication

  Citation: 65

  Authors: Heinrich

---