DocuGuru
Taylor & Francis

Journal of Applied Non-Classical Logics Template

Write in a clean editor, then format for Journal of Applied Non-Classical Logics in one click — DocuGuru applies the official Taylor & Francis template with author–year references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.

Use this template

About the Journal of Applied Non-Classical Logics format

Journal of Applied Non-Classical Logics is a peer-reviewed journal published by Taylor & Francis, covering Logic, Reasoning, and Knowledge, Advanced Algebra and Logic, Logic, programming, and type systems.

PublisherTaylor & Francis
Reference styleAuthor–year (Chicago, T&F)
Author–year — (Smith, 2023) in the text
Smith, Ada, Ben Jones, and Cara Lee. 2023. "A Representative Article Title." Journal of Applied Non-Classical Logics 12 (3): 45–58.

Formats any DOI in Journal of Applied Non-Classical Logics style. No sign-up.

Publishes research inLogic, Reasoning, and Knowledge Advanced Algebra and Logic Logic, programming, and type systems Semantic Web and Ontologies Multi-Agent Systems and Negotiation
ISSN1166-3081
Citation impact (2-yr)0.76
h-index42
i10-index206
Total citations8,182
Top institutions publishing hereCentre National de la Recherche Scientifique
Journal websitewww.tandfonline.com
You getA submission-ready PDF and the editable LaTeX source — ready to submit.

Papers published in Journal of Applied Non-Classical Logics per year

20
2014
16
2015
16
2016
25
2017
18
2018
18
2019
14
2020
12
2021
13
2022
24
2023
26
2024
11
2025

Citation impact of Journal of Applied Non-Classical Logics by publication year

273
2014
191
2015
150
2016
115
2017
121
2018
122
2019
100
2020
32
2021
12
2022
24
2023
31
2024
3
2025

Citations each year’s papers have accumulated so far — the most recent years are still building up.

Most-cited papers in Journal of Applied Non-Classical Logics

Argument-based extended logic programming with defeasible priorities

Henry Prakken, Giovanni Sartor · 1 Jan 1997

ABSTRACT Inspired by legal reasoning, this paper presents a semantics and proof theory of a system for defeasible argumentation. Arguments are expressed in a logic-programming language with both weak and strong negation, conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities…

594 citations Cite SaveGo to paper →
Dynamic logic for belief revision

Johan van Benthem · 1 Jan 2007

We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of…

398 citations Cite SaveGo to paper →
Epistemic planning for single- and multi-agent systems

Thomas Bolander, Mikkel Birkegaard Andersen · 1 Jan 2011

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty…

222 citations Cite SaveGo to paper →
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision

Adnan Darwiche · 1 Jan 2001

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form (sd-DNNF), then for any consistent set of literals S, we can…

199 citations Cite SaveGo to paper →
A Road Map of Interval Temporal Logics and Duration Calculi

Valentin Goranko, Angelo Montanari, Guido Sciavicco · 1 Jan 2004

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

148 citations Cite SaveGo to paper →

Journal of Applied Non-Classical Logics template — frequently asked questions

How do I write a paper in the Journal of Applied Non-Classical Logics format?
In DocuGuru you write your manuscript in a normal editor — no LaTeX setup required — and select the Journal of Applied Non-Classical Logics template. When you export, DocuGuru compiles the paper into the official Taylor & Francis format and hands you a submission-ready PDF along with the editable LaTeX source.
What reference style does Journal of Applied Non-Classical Logics use?
Journal of Applied Non-Classical Logics uses Author–year (Chicago, T&F) references, shown as author–year markers such as (Smith, 2023) in the text. DocuGuru formats every in-text citation and the reference list in this exact style automatically. A reference appears like this: Smith, Ada, Ben Jones, and Cara Lee. 2023. "A Representative Article Title." Journal of Applied Non-Classical Logics 12 (3): 45–58.
Do I need to know LaTeX to submit to Journal of Applied Non-Classical Logics?
No. DocuGuru generates the interact LaTeX class and compiles the PDF for you in the background, so you get a Taylor & Francis-ready Journal of Applied Non-Classical Logics document without writing any LaTeX. If you do want it, the LaTeX source is included in the export.
Can I import an existing draft into the Journal of Applied Non-Classical Logics template?
Yes. Paste or upload your current manuscript — Word, LaTeX, Markdown, or plain text — and DocuGuru reflows it into the Journal of Applied Non-Classical Logics format with correct headings, figures, tables, and author–year citations.
Who publishes Journal of Applied Non-Classical Logics?
Journal of Applied Non-Classical Logics is a multidisciplinary journal published by Taylor & Francis. DocuGuru's Journal of Applied Non-Classical Logics template matches Taylor & Francis's official submission format.
Can I export a submission-ready Journal of Applied Non-Classical Logics PDF?
Yes — DocuGuru produces a PDF built with the official Journal of Applied Non-Classical Logics template (the interact class) that is ready to submit to Taylor & Francis, together with the matching LaTeX source files.
How much does the Journal of Applied Non-Classical Logics template cost?
You can start writing in the Journal of Applied Non-Classical Logics template for free. Exporting the final submission-ready Journal of Applied Non-Classical Logics PDF and LaTeX source is part of DocuGuru's paid plans — see the app for current pricing.
Use the Journal of Applied Non-Classical Logics template