|
|
|
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
1. Call for Papers: Special Issue on Deontic Logic and Normative Systems
Authors are invited to submit original work that either:
Is previously unpublished (i.e. the CFP is open to papers that were not presented at DEON2023) or
That has been accepted for presentation at DEON2023, in which case the paper should be extended to include at least 20% new material. Authors submitting papers that were previously published in DEON2023’s proceedings should provide a brief description of the modifications that were made to the manuscript in their submission letter.
Submission details
Papers should be written in English and anonymized for peer review. Papers should be no longer than 25 pages (including references). Authors are allowed an additional 5 pages for technical appendices, if necessary.
Papers should be formatted using the LaTeX document class available at www.uqtr.ca/DEON2023/Special.Issue
Submissions should be sent to Jane Spurr at jane@janespurr.net with “JALs-DEON submission” in the subject line.
Submission deadline: January 7th 2024
See www.uqtr.ca/DEON2023/Special.Issue for details.
2. Call for papers: Special issue on Frontiers of Logic and Computation in China
Scope
Nowadays, logic has covered more and more aspects of natural and social science, from mathematics, physics and computer science to philosophy, cognitive science and linguistics, and has found application in virtually all aspects of information technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence, cognitive science and theoretical computing are influencing each other to the extent that a new interdisciplinary area of logic and computation is emerging.
In recent years, Chinese scholars have made a great effort to promote logical research and have achieved great success in the aspects of logic and computation, mainly include classical and non-classical logic, algebraic logic, modal and temporal logic, probabilistic logic, aggregation function and fuzzy implication, knowledge-based systems and knowledge representation, automated reasoning and so on.
Topics of Interest
This special issue aims to provide an opportunity for Chinese researchers to worldwide share their novel ideals, original research achievements, and practical experiences in a broad range of logic and computation. Topics include, but are certainly not limited to:
---Non-classical logic and Non-monotonic logic
---Algebraic logic
---Temporal logic and Dynamic logic
---Probabilistic logic and Fuzzy logic
---Aggregation function and Fuzzy implication
---Logic programming and Logic-based approaches
---Approximation reasoning and Automated reasoning
---Soft Computing and Granular Computing
---Knowledge-based systems and Knowledge representation
Guest Editors
Juntao Wang, Xi’an Shiyou University
Yanhong She, Xi’an Shiyou University
Pengfei He, Shaanxi Normal University
Jiang Yang, Northwest University
3. Call for papers: Special issue on Frontiers of Logic in Iran
Scope
Nowadays, logic has covered more and more aspects of natural and social science, from mathematics, physics and computer science to philosophy, cognitive science and linguistics, and has found application in virtually all aspects of information technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence, cognitive science and theoretical computing are influencing each other to the extent that a new interdisciplinary area of logic and computation is emerging.
In recent years, Iranian scholars have made a great effort to promote logical research and have achieved great success in the aspects of logic, mainly include classical and non-classical logic, algebraic logic, modal and temporal logic, probabilistic logic, aggregation function and fuzzy implication, knowledge-based systems and knowledge representation, automated reasoning and so on.
Topics of Interest
This special issue aims to provide an opportunity for Iranian researchers to worldwide share their novel ideas, original research achievements, and practical experiences in a broad range of logic.
Topics include, but are certainly not limited to:
---Non-classical logic and Non-monotonic logic
---Algebraic logic(MV-algebra, Bl-algebra, Heyting algebra,…)
---Temporal logic, modal logic and intuitionistic logic
---Probabilistic logic and Fuzzy logic
---Aggregation function and Fuzzy implication
---Approximation reasoning and Automated reasoning
---Soft Computing and Granular Computing
Guest Editors
Arsham Borumand Saeid, Shahid Bahonar University of Kerman
Rajab Ali Borzooei, Shahid Beheshti University
Mohammad Mehdi Zahedi, Graduate University of Advanced Technology
Important Dates:
Submission deadline: 30 September, 2023
Notification to authors: 31 December, 2023
Final versions due by: 31 January, 2024
Expected publication date: 31 March, 2024
Submission process for special issues
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 need, but the work should be original, and should not be published, or be in the process of consideration for publication elsewhere.
|
| 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 |
|
|
|
|
