|
|
|
Journal of Applied Logics - IfCoLog Journal
The Journal of Applied Logics- IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are free open access, and available via the College Publications website. This Journal is open access, puts no limit on the number of pages of any article, puts no limit on the number of papers in an issue and puts no limit on the number of issues per year. We insist only on a very high academic standard, and will publish issues as they come.
The issues are available in both printed and electronic formats. It is published by College Publications, on behalf of the UK logic charity IfCoLog.
Endorsements
I had chosen IfCoLog for your policy described at your webpage. You are doing great job at times when the „big” publishing houses behave as they behave.
Andrzej Wisniewski
Call for Papers: Special Issue on Artificial Intelligence Logic and its Applications.
To explore the latest academic issues in artificial intelligence logic, exchange research findings, and discuss future development trends, the Second National Conference on Artificial Intelligence Logic & Annual Academic Meeting of the CAAI Specialized Committee on Artificial Intelligence Logic is organized by the Chinese Association for Artificial Intelligence (CAAI), and co-hosted by the CAAI Specialized Committee on Artificial Intelligence Logic, the School of Computer Science and Information Engineering at Hefei University of Technology, and the School of Artificial Intelligence Innovation at Hefei University of Technology, with technical support from the Shenzhen Key Laboratory of Modern Communications and Information Processing. The conference will be held from October 30 to November 2, 2026 in Hefei, Anhui Province. Scholars from across the country are cordially welcome to attend.
Since the dawn of AI research in the 1950s, artificial intelligence logic has served as a cornerstone of knowledge representation and reasoning. With the emergence of next-generation artificial intelligence technologies, the integration of AI logic with machine learning and deep learning methods has created new possibilities for enhancing the transparency, interpretability, and decision-making quality of AI systems. The advent of large language models has made research in AI logic all the more urgent. This conference aims to provide a forum for researchers to exchange ideas and share the latest advances in artificial intelligence logic and its applications.
Topics of interest include, but are not limited to:
Propositional logic
Predicate logic
Modal logic
Belief logic
Inductive logic
Default logic
Description logic
Temporal logic
Set-valued logic
Probability logic / Probabilistic logic
Lattice-valued logic
Program logic
Legal artificial intelligence / AI and law
Fuzzy reasoning
Fuzzy logic and clustering
Large models and logical reasoning
Constraint reasoning
Affective computing
Granular computing
Soft computing
Aggregation operators and implication operators
Neural network design and structural optimization
Intelligent communications
Intelligent planning
Knowledge graphs
Image analysis and processing
Guest Editors:
Yanhong She, Xi’an Shiyou University
Mei Wang, Xi Hang University
Juntao Wang, Xi’an Shiyou University
Authors should submit their paper to Jane Spurr (jane@janespurr.net) with "JALs Submission-{cailc-2026}" in the subject line.
All accepted papers will be published on Journal of Applied Logics- IfCoLog Journal of Logics and their Applications and indexed by EI Compendex as Journal Articles (JA).
1. Call for Papers: Special Issue on Multiple-valued Logic and Applications.
This year we invite you to submit an article on any subject in the area of multiple-valued logic, including but not limited to:
Circuit/Device Implementation
Multiple-Valued Decision Diagrams
Quantum Computing
Test and Verification
Brain Scale Integration Circuits and Computing
Application of MVL to Medical Technologies,
Robotics, Machine Learning
Algebra and Formal Aspects
Multi-bit per Cell Logic & Memory
MVL Aspects of Nanotechnology
System-on-Chip Technology
VLSI Architecture and Computing
Reversible, Stochastic Computing
Spectral Techniques
MVL approaches to Data Mining and Big Data
Authors should submit papers by using the guidelines and template that can be found at \url{https://npc.nu.edu.kz/docs/GuideForAuthors.pdf} and \url{https://npc.nu.edu.kz/docs/myifcolog.cls} respectively. Each manuscript should follow guidelines in the guide for authors. This special issue will follow the schedule below:
Due date for papers: Extended to October 31 2026
First notification to authors:December 15 2026
Due date for revisions: January 31 2027
Final Notification: February 28 2027
Final Manuscript due: March 15 2027
Special Issue publication date:May 2027
People
This year guest editors are
Mike Behrisch and Martin Lukac
mike.behrisch@tuwien.ac.at, malu@hiroshima-cu.ac.jp
Unless stated differently above, the submission process for special issues is as follows:
Authors should submit their paper to Jane Spurr (jane@janespurr.net) with "JALs Submission-{Special Issue Title}" in the subject line.
There is no special format submissions needed, but the work should be original, and should not be published, or be in the process of consideration for publication elsewhere.
2. Announcement: New section of Journal: AI Watch
The rise of new-generation AI — large language models, foundation models, and increasingly autonomous agentic systems — is reshaping the landscape of reasoning at a pace that the logic community has rarely encountered before. Capabilities that seemed distant only a few years ago are now routine; meanwhile, concerns about reliability, interpretability, accountability, and the very nature of machine reasoning have moved from the margins to the centre of scientific and public debate.
The Journal of Applied Logics is launching the AI Watch, an annual series of special issues dedicated to examining, year by year, how new-generation AI is transforming logic-based research — and how logic-based research is, in turn, shaping AI. Each issue will combine forward-looking, speculative contributions with sober reflection on the trajectory of the field, building over time into a continuous record of the evolving relationship between AI and logic.
The series invites contributions on both sides of the ledger:
* The promise. How can new-generation AI accelerate, enrich, or transform logic-based research? Where does it open genuinely new questions, methods, and applications? What might logic itself become as AI tools mature?
* The perils. What risks does the rapid rise of AI pose for the integrity, rigour, transparency, and intellectual culture of logic research? Where are the methodological pitfalls, the epistemic shortcuts, the displacements of human judgment that warrant scrutiny?
Each annual issue will also include retrospective and trend-tracking contributions that revisit themes from earlier issues, assess what has changed, and identify what is emerging — giving the series the character of a continuous observatory rather than a one-off collection.
Scope and Topics
We welcome speculative essays, technical contributions, position papers, surveys, and critical reflections. Topics include, but are by no means limited to:
AI for logic and reasoning research
* LLMs and foundation models as collaborators in proof, formalisation, and theory development
* AI-assisted discovery of logical systems, axiomatisations, and counterexamples
* Generative AI for argumentation, dialectics, and informal reasoning
* AI in logic pedagogy, scholarly communication, and the practice of research itself
* Automated literature synthesis and the changing role of the human logician
Logic for AI
* Formal analysis, verification, and constraint of AI-generated reasoning
* Hybrid and neuro-symbolic architectures for reliable and interpretable systems
* Knowledge representation, injection, and extraction for language models
* Logics of knowledge, belief, goals, actions, and plans in agentic AI
* Argumentation, negotiation, and multi-agent reasoning involving generative agents
* Verification and safety of LLM-based and agentic systems
Speculative and critical perspectives
* The future of logic as a discipline in an AI-saturated research environment
* Epistemological status of AI-generated proofs, arguments, and explanations
* Risks of homogenisation, loss of mathematical taste, or erosion of foundational understanding
* Ethical, social, and institutional implications for the logic community
* Trust, accountability, and the division of labour between humans and machines in reasoning
* Long-term scenarios: what does logic research look like in 5, 10, 25 years?
Tracking the trajectory (recurring across issues)
Year-on-year reflections on progress, regressions, and surprises
Reassessments of earlier predictions and positions
Emerging benchmarks, methodologies, and standards
Format
The AI Watch welcomes a wide range of formats — full research articles, shorter speculative essays, opinion pieces, and dialogues — to reflect the breadth of perspectives the series aims to gather.
Editors
Dov Gabbay
Beishui Liao
Leendert van der Torre
Liuwen Yu
|
| Volume 13-5:
Volume 13, number 5, September 2026
Special Issue: Multiple-valued Logics. K.C. Smith, in Memorium
Jovanka Pantovic, Martin Lukac and Shinobu Nagayama, guest editors
978-1-84890-519-1
View Details  |
|
|
| Volume 13-4:
Volume 13, number 4, August 2026
Special Issue: Reconfigurable Transition Systems - ReacTS 2024
Guest Editors: Raul Fervari and Manuel A. Martins
978-1-84890-523-8
View Details |
|
|
| Volume 13-3:
Volume 13, number 3, July 2026
978-1-84890-517-7
View Details |
|
|
| Volume 13-2:
Volume 13, number 2, April 2026
978-1-84890-508-5
View Details |
|
|
| Volume 13-1:
Volume 13, number 1, January 2026
Special Issue: Proceedings of the ISAMI'24 Conference Workshop
Guest Editors: Paolo Fosci, Sérgio Ramos, Paweł B. Myszkowski and Héctor Quintián
978-1-84890-501-6
View Details |
|
|
| Volume 12-7:
Volume 12, number 7, December 2025
978-1-84890-500-9
View Details |
|
|
| Volume 12-6:
Volume 12, number 6, October 2025
Special Issue to Celebrate Dov Gabbay's 80th Birthday
Jane Spurr, Guest Editor
978-1-84890-498-9
View Details |
|
|
| Volume 12-5:
Volume 12, number 5, June 2025
Special Issue: Proceedings of the 2nd Third Workshop, May 13-14, 2024, Edmonton, Canada
Guest Editor: Katalin Bimbó
978-1-84890-488-0
View Details |
|
|
| Volume 12-4:
Volume 12, number 4, May 2025
978-1-84890-484-2
View Details |
|
|
| Volume 12-3:
Volume 12, number 3, March 2025
978-1-84890-483-5
View Details |
|
|
| Volume 12-2:
Volume 12, number 2, February 2025
DEON 2023
Guest Editors: Clayton Peterson and Christian Straßer
978-1-84890-479-8
View Details |
|
|
| Volume 12-1:
Volume 12, number 1, January 2025
Special Issue: Multiple-valued Logics
Guest Editors: Martin Lukac and Mike Behrisch
978-1-84890-478-1
View Details |
|
|
| Volume 11-6:
Volume 11, number 6, November 2024
978-1-84890-470-5
View Details |
|
|
| Volume 11-5:
Volume 11, number 5, October 2024
Special Issue: Frontiers of Logic and Computation in Iran
Guest Editors: Arsham Borumand Saeid, Rajab Ali Borzooei and Mohammad Mehdi Zahedi
978-1-84890-469-9
View Details |
|
|
| Volume 11-4:
Volume 11, number 4, August 2024
978-1-84890-461-3
View Details |
|
|
| Volume 11-3:
Volume 11, number 3, June 2024
Frontiers of Logic and Computation in China
Guest Editors: Juntao Wang, Yanhong She, Pengfei He and Jiang Yang
978-1-84890-457-6
View Details |
|
|
| Volume 11-2:
Volume 11, number 2, March 2024
978-1-84890-456-9
View Details |
|
|
| Volume 11-1:
Volume 11, Number 1: January 2024
Special Issue on Foundations, Applications and Theory of Inductive Logic
Guest Editors: Martin Adamčik and Matthias Thimm
978-1-84890-499-1
View Details |
|
|
| Volume 10-6:
Volume 10, Number 6: December 2023
Special issue: Multiple Valued Logic 2023
Guest Editors: Martin Lukac and Jovanka Pantovic
978-1-84890-444-6
View Details |
|
|
| Volume 10-5:
Volume 10, Number 5: November 2023
978-1-84890-441-5
View Details |
|
|
| Volume 10-4:
Volume 10, Number 4: July 2023
978-1-84890-434-7
View Details |
|
|
| Volume 10-3:
Volume 10, Number 3: May 2023
Special Issue: Advances in Argumentgation in AI
Guest Editors: Marcello D'Agostino, Fabio Aurelio D'Asaro and Costanza Larese
978-1-84890-433-0
View Details |
|
|
| Volume 10-2:
Volume 10, Number 2: March 2023 978-1-84890-431-6
Special Issue: Cognitive Reasoning (FCR-2021)
Guest Editors: Christoph Beierle, Marco Ragni, Frieder Stolzenburg and Matthias Thimm
978-1-84890-431-6
View Details |
|
|
| Volume 10-1:
Volume 10, Number 1: January 2023
978-1-84890-422-4
View Details |
|
|
| Volume 9-4:
Volume 9-4: Volume 9, Number 4: July 2022
978-1-84890-386-9
View Details |
|
|
| Volume 9-3:
Volume 9-3: Volume 9, Number 3: June 2022
Special Issue: Multiple-valued Logic
Guest Editors: Martin Lukac and Shinobu Nagayama
978-1-84890-405-7
View Details |
|
|
| Volume 9-2:
Volume 9-2: Volume 9, Number 2: April 2022
978-1-84890-397-5
View Details |
|
|
| Volume 9-1:
Volume 9-1: Volume 9, Number 1: January 2022
Special Issue: Proceedings of the 19th Brazilian Logic Conference (XIX EBL)
Guest Editors: Itala M. Loffredo D'Ottaviano, Ricardo Silvestre, Leandro Suguitani and Petrucio Viana
978-1-84890-389-0
View Details |
|
|
| Volume 8-10:
Volume 8, Number 10: December 2021
978-1-84890-381-4
View Details |
|
|
| Volume 8-9:
Volume 8, Number 9: October 2021
Special Issue: Reasoning with and about Legal Evidence
Guest Editors: Michal Araszkiewicz and Tomasz Zurek
978-1-84890-378-4
View Details |
|
|
| Volume 8-8:
Volume 8, Number 8: September 2021
Special Issue: Intuitionistic Modal Logic and Applications
Guest Editors: Valeria de Paiva and Sergei Artemov
978-1-84890-377-7
View Details |
|
|
| Volume 8-7:
Volume 8, Number 7: August 2021
978-1-84890-374-6
View Details |
|
|
| Volume 8-6:
Volume 8, Number 6: July 2021
Special Issue on Formal Argumentation
Guest editors: Dov M. Gabbay, Massimiliano Giacomin, Guillermo R. Simari and Matthias Thimm
978-1-84890-371-5
View Details |
|
|
| Volume 8-5:
Volume 8, Number 5: June 2021
Special Issue on Multiple-Valued Logic: Selected Papers from ISMVL 2020
Guest editors: Martin Lukac, Yasushi Yuminaka and Kaitlin N Smith
978-1-84890-366-1
View Details |
|
|
| Volume 8-4:
Volume 8, Number 4: May 2021
Special Issue: Mining and Reasoning with Legal Texts
Guest Editors: Livio Robaldo, Leendert van der Torre, Giovanni Casini, and Serena Villata
978-1-84890-367-8
View Details |
|
|
| Volume 8-3:
Volume 8, Number 3: April 2021
978-1-84890-365-4
View Details |
|
|
| Volume 8-2:
Volume 8, Number 2: March 2021
Special Issue: Assertion and Proof
Guest Editors: Massimiliano Carrara, Daniele Chiffi and Ciro De Florio
978-1-84890-360-9
View Details |
|
|
| Volume 8-1:
Volume 8, Number 1: February 2021
Special issue: Douglas Walton Remembered
Guest editor: John Woods
978-1-84890-355-5
View Details |
|
|
| Volume 7-6:
Volume 7, Number 6, December 2020
978-1-84890-346-3
View Details |
|
|
| Volume :
Volume 7, Number 5, September 2020
Special Issue: Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science. SemSpace 2019
Guest Editors: Martha Lewis, Dan Marsden and Mehrnoosh Sadrzadeh
978-1-84890-345-6
View Details |
|
|
| Volume Volume 7-4:
Volume 7, Number 4, August 2020
978-1-84890-343-2
View Details |
|
|
| Volume 7-3:
Volume 7, Number 3, June 2020
978-1-84890-329-6
View Details |
|
|
| Volume :
Volume 7, Number 2, March 2020
Special Issue. Book Symposium on Woods' ''Truth in Fiction''
Guest Editor: Dov Gabbay
978-1-84890-324-1
View Details |
|
|
| Volume 7-1:
Volume 7, Number 1, January 2020
Special Issue: Multiple Valued Logic
Guest Editor: Martin Lukac
978-1-84890-323-4
View Details |
|
|
| Volume 6-7:
Volume 6, Number 7, November 2019
978-1-84890-320-3
View Details |
|
|
| Volume 6-6:
Volume 6, Number 6, September 2019
Special Issue: Concept of God
Guest Editors: Stanislaw Krajewski and Ricardo Silvestre
978-1-84890-316-6
View Details |
|
|
| Volume 6-5:
Volume 6, Number 5, August 2019
Special Issue: Reasoning for Legal AI
Guest Editors: Livio Robaldo and Leendert van der Torre
978-1-84890-311-1
View Details |
|
|
| Volume 6-4:
Volume 6, Number 4, June 2019
Special Issue: Neural-Symbolic Learning and Reasoning (NeSy'18)
Guest Editors: Artur d'Avila Garcez and Tarek R. Besold
978-1-84890-306-7
View Details |
|
|
| Volume :
Volume 6, Number 3, May 2019
978-1-84890-305-0
View Details |
|
|
| Volume :
Volume 6, Number 2, March 2019
The 3rd Israeli Workshop on Non-classical Logics and Their Applications (IsraLog2017)
Guest Editors: Ofer Arieli and Anna Zamansky
978-1-84890-301-2
View Details |
|
|
| Volume :
Volume 6, Number 1, January 2019
978-1-84890-299-2
View Details |
|
|
| Volume :
Volume 5, Number 9, December 2018
Special Issue: Current Trends in Multiple Valued Logic Design
Guest Editors: Martin Lukac and Robert Wille
978-1-84890-294-7
View Details |
|
|
|
| Volume :
Volume 5, Number 7
Special Issue: Formal Approaches to the Ontological Argument
Guest Editors: Ricardo Sousa Silvestre and Jean-Yves Beziau
978-1-84890-290-9
View Details |
|
|
| Volume :
Volume 5, Number 6
Special Issue: The Emergence of Structuralism and Formalism
Guest Editors: Michael Gabbay, Prokop Sousedik and David Svoboda
978-1-84890-288-6
View Details |
|
|
| Volume 5:
Volume 5, Number 5
Special Issue: Logical Foundations of Strategic Reasoning
Guest Editors: Woosuk Park and John Woods
978-1-84890-286-2
View Details |
|
|
|
| Volume :
Volume 5, Number 3
Special Issue: Argument Strength
Guest Editors: Mathieu Beirlaen, Jesse Heyninck, Pere Pardo and Christian Strasser
978-1-84890-279-4
View Details |
|
|
| Volume :
Volume 5, Number 2
Special Issue: Normative Multi-Agent Systems
Guest Editor: Serena Villata
978-1-84890-277-0
View Details |
|
|
|
| Volume :
Volume 4, Number 11
Special Issue Dedicated to the Memory of Dale Jacquette
Guest Editor: John Woods
978-1-84890-246-6
View Details |
|
|
| Volume :
Volume 4, Number 10
Special Issue: New Trends in Logic
Guest Editor: Matthias Baaz
978-1-84890-268-8
View Details |
|
|
| Volume :
Volume 4, Number 9
Logic for Normative Multi-Agent Systems
Guest Editors: Gabriella Pigozzi and Leendert van der Torre
978-1-84890-265-7
View Details |
|
|
| Volume :
Volume 4, Number 8
Formal Argumentation
Guest Editors: Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre
978-1-84890-253-4
View Details |
|
|
| Volume :
Volume 4, Number 7
Reasoning about Preferences, Uncertainty and Vagueness
Guest Editors: Thomas Lukasiewicz, Rafael Penaloza and Anni-Yasmin Turhan
978-1-84890-252-7
View Details |
|
|
| Volume :
Volume 4, Number 6
Arguing with Reasoning Distortions
978-1-84890-251-0
View Details |
|
|
|
| Volume :
Volume 4, Number 4
Special Issue Dedicated to the Memory of Grigori Mints
Dov Gabbay and Oleg Prosorov, Guest Editors
978-1-84890-204-4
View Details |
|
|
| Volume :
Volume 4, Number 3
Special Issue: Proceedings of the Third Workshop, 16-17 May 2016, Edmonton, Canada
Guest Editors: Katalin Bimbó and J. Michael Dunn
978-1-84890-239-8
View Details |
|
|
| Volume :
Volume 4, Number 2
Special Issue: Hilberts epsilon and tau in Logic, Informatics and Linguistics. March 2017
Guest Editors: Stergios Chatzikyriakidis, Fabio Pasquali and Christian Retoré
978-1-84890-234-3
View Details |
|
|
| Volume :
Volume 4, Number 1,
Special Issue: Tools for Teaching Logic. January 2017
Guest editors: Sophie Pinchinat and François Schwarzentruber
978-1-84890-237-4
View Details |
|
|
| Volume :
Volume 3, Number 5
December 2016
978-1-84890-224-4
View Details |
|
|
| Volume :
Volume 3, Number 4
Proof, Truth, Computation
Guest editors: Hannes Leitgeb, Iosif Petrakis, Peter Schuster and Helmut Schwichtenberg
978-1-84890-219-0
View Details |
|
|
| Volume :
Volume 3, Number 3
Special Issue: Connexive Logics
Heinrich Wansing, Hitoshi Omori and Thomas Macaulay Ferguson, eds
978-1-84890-222-0
View Details |
|
|
| Volume :
Volume 3, Number 2
Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation
Guest editors: Matthias Thimm and Dov Gabbay
978-1-84890-221-3
View Details |
|
|
| Volume :
Volume 3, Number 1.
Frontiers of Abduction Special Issue. May 2016
Guest Editor: Lorenzo Magnani
978-1-84890-214-5
View Details |
|
|
|
| Volume :
Volume 2, Number 1
June 2015
978-1-84890-178-0
View Details |
|
|
| Volume :
Volume 1, Number 2
November 2014
978-1-84890163-6
View Details |
|
|
| Volume :
Volume 1, Number 1
June 2014
978-1-84890-149-0
View Details |
|
|
|
|
