College Publications logo   College Publications title  
View Basket
Homepage Contact page
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Cuadernos de lógica, Epistemología y Lenguaje
Encyclopaedia of Logic
IfColog series in Computational Logic
Tbilisi Mathematical Journal
Journal of Homotopy and Related Structures
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications
Forthcoming papers
Economic Thought
World Economic Review
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Texts in Mathematics
Digital Downloads
Information for authors
About us
Search for Books

Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications

The 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.

For example for the year 2017 we published 11 issues, containing about 4000 pages. Issue 4 for example, an issue dedicated to the Memory of Grigory Mints, was about 800 pages.

No commercial publisher will ever do this.

The issues re available in both printed and electronic formats. It is published by College Publications, on behalf of the UK logic charity IfCoLog (

  • The International Federation of Computational Logic (IfCoLog) sponsors
  • THREE logic journals, two published by OUP (The Logic J of the IGPL and the Journal of Logic and Computation) and one published by Elsevier (Journal of Applied Logic)
  • All three Journals are highly successful (many submissions and high impact factor)
  • The community has expressed a desire for some form of open access, and no limit on size of issues, thus giving immediate free access and also avoiding years of backlog in publications.

  • Publishers' current open access arrangement demands a hefty payment from authors, and they seem to be resisting any form of concession or compromise on size of issues.

    In order to overcome this issue and set an example for other publishers, we proposed to start our own independent practically open access journal under the title "The (open access) IfCoLog Journal of Logics and their Applications"

    Creative Commons License
    This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

    This move is in the spirit of a recent call by the community to publish our own Journals. See this article in Nature.

    From the year 2018, the Elsevier Journal of Applied Logic is no longer being published by Elsevier and is now being continued by the UK Charity Ifcolog. We thank Elsevier for their generosity and support .

    We are making the Journal of Applied Logics free open access and amalgamating it with our current journal Flap, giving the unified journal the name Journal of Applied Logics: IfCoLog Journal of Logics and their Applications

    The impact factor of the Journal of Applied Logic is currently as follows

  • CiteScore: 0.73

  • More about CiteScore

  • Impact Factor: 0.838

  • 5-Year Impact Factor: 0.839

  • Source Normalized Impact per Paper (SNIP): 0.936

  • SCImago Journal Rank (SJR): 0.401

  • We expect that the impact factor of the unified journals will continue and grow even stronger.

    We have amalgamated the lists of editors and area editors of both journals. We are the same community anyway.

    The first issue of 2018 of the combined journal is about 450 pages.

    Note that this is equals the entire yearly page allocation of an average journal.

    Executive Editors
    Dov M. Gabbay, King's College London, UK
    Sarit Kraus, Bar-Ilan University, Ramat Gan. Israel
    Joerg Siekmann, Universitat Saarbrucken, Germany

    Editorial Office Manager
    Jane Spurr, King's College London, UK; e-mail:

    Editorial Board
  • Marcello D'Agostino, Univesity of Milan, Italy
  • Natasha Alechina, University of Nottingham, UK
  • Sandra Alves, University of Porto, Portugal
  • Arnon Avron, Tel Aviv University, Israel
  • Jan Broersen, University of Utrrecht, The Netherlands
  • Martin Caminada, University of Cardiff, UK
  • Balder ten Cate, University of California, Santa Cruz
  • Agata Ciabattoni, University of Vienna, Austria
  • Robin Cooper, University of Gothenburg, Sweden
  • Luis Farinas del Cerro, IRIT, France
  • Esther David, Ashkelon College, Israel
  • Didier Dubois, IRIT, France
  • PM Dung, Asian Institute of Technology, Thailand
  • David Fernandez Duque, IRIT, France
  • Jan van Eijck, University of Amsterdam, The Netherlands
  • Amy Felty, University of Ottowa, Canada
  • Melvin Fitting, CUNY, USA
  • Dov Gabbay (managing editor), King's College London, UK
  • M. Gabbay, Cambridge University, UK
  • Tom Gordon, Frunhofer, FOKUS, Germany
  • Wesley Holliday, Berkeley, USA
  • Sara Kalvala, University of Warwick, UK
  • Shalom Lappin, University of Gothenburg, Sweden
  • Beishui Liao, Zhejiang University, China
  • David Makinson, LSE, UK
  • George Metcalfe, Bern University, Switzerland
  • Claudia Nalon, University of Brasilia, Brasil
  • Valeria de Paiva, University of Birmingham, UK
  • Jeff Paris, University of Manchester, UK
  • David Pearce, University of Madrid, Spain
  • Brigitte Pientka, McGill, Canada
  • Elaine Pimentel, University Federal do Rio Grande do Norte, Brazil
  • Henri Prade, IRIT, France
  • David Pym, University College London, UK
  • Ruy de Queiroz, University Federal de Pernambucco, Brazil
  • Ram Ramanujam, Lousiana State University, USA
  • Christian Retoré, LIRMM, France
  • Ulrike Sattler, University of Manchester, UK
  • Joerg Siekmann (managing editor), DFKI, Germany
  • Jane Spurr (executive editor), King's College London, UK
  • Kaile Su, Brisbane, Australia
  • Leon van der Torre, University of Luxembourg, Luxembourg
  • Yde Venema, University of Amsterdam, The Netherlands
  • Rineke Verbrugge, Groningen, The Netherlands
  • Heinrich Wansing, Ruhr Universitat Bochum, Germany
  • Jef Wijsen, University de Mons, Belgium
  • John Woods, UBC, Canada
  • Michael Wooldridge, Oxford University, UK
  • Anna Zamansky, Haifa University, Israel

  • Area Scientific Editors
    Philosophical Logic
    Johan van Benthem, University of Amsterdam, The Netherlands
    Lou Goble, 16 N. Madison St, Eugene, OR 97402, USA
    Stefano Predelli, University of Nottingham, UK
    Gabriel Sandu, University of Helsinki, Finland

    New Applied Logics
    Walter Carnielli, State University of Campinas, Brazil
    David Makinson, London School of Economics, London. UK
    Robin Milner, Cambridge University, Cambridge, UK (deceased)
    Heinrich Wansing, Technische Universitiit, Dresden. Germany

    Modal and Temporal Logic
    Carlos Areces, INRJA Nancy Grant Est, Villers les Nancy, France
    Melvin Fitting, Lehmann College, New York, NY, USA
    Victor Marek, University of Kentucky, Lexington, KY, USA
    Mark Reynolds. University of Western Australia. Australia
    Frank Wolter, University of Liverpool, UK
    Michael Zakharyaschev, Birkbeck College London, UK

    Logic and Software Engineering
    Manfred Broy, Technische Universitiit, Milnchen, Germany
    John Fitzgerald, University of Newcastle, Newcastle upon Tyne, UK
    Kung-Kiu Lau, University of Manchester, Manchester, UK
    Tom Maibaum, McMaster University, Hamilton, Ontario, Canada
    German Puebla, Technical University of Madrid, Madrid, Spain

    Formal Methods: Specification and Verification
    Howard Barringer, University of Manchester, UK
    David Basin, Swiss Federal Institute of Technology, Zurich, Switzerland
    Dines Bjorner, Technical University of Denmark, Lyngby, Denmark
    Kokichi Futatsugi, JAIST, Ishikawa.Japan
    Yuri Gurevich, Microsoft, USA

    Logic and Constraint Logic Programming
    Manuel Hermenegildo, University of Madrid, Spain
    Antonis Kakas, University of Cyprus, Nicosia, Cyprus
    Francesca Rossi, University of Padova, Italy
    Gert Smolka, UniversitiJt des Saarlandes, Germany

    Logic and Databases
    Jan Chomicki, University at Buffalo, New York, NY, USA
    Enrico Franconi, Free University of Bozen, Balzano, Italy
    Georg Gottlob, Technische Wien, Austria
    Leonid Libkin, University of Edinburgh. Scotland, UK
    Franz Wotawa, Technische Universitiit, Graz. Austria

    Logic and Multi-Agent Systems
    Michael Fisher, University of Liverpool. UK
    Nick Jennings, Southampton University, UK
    Mike Wooldridge, University of Oxford, UK

    Logic and Algebraic Programming
    Jan Bergstra, University of Amsterdam, The Netherlands
    John Tucker, University College Swansea, Wales, UK

    Logic and Natural Language Processing
    Wojciech Buszkowski, Adam Mickiewicz University, Poznan, Poland
    Hans Kamp, Universit¨u;t Stuttgart, Stuttgart, Germany
    Marcus Kracht, University of California, Los Angeles, CA, USA
    Johanna Moore, The University of Edinburgh, Scotland, UK
    Michael Moortgat, University of Utrecht, The Netherlands
    Manfred Pinkal, Universitlit des Saarlandes, Saarbriicken, Germany
    Hans Uszkoreit, DFKI, Saarbr¨u;cken, Germany

    Automated Inference Systems and Model Checking
    Ed Clarke, Carnegie Mellon University, Pittsburgh, PA, USA
    Ulrich Furbach, Universit¨u;t Koblenz. Koblenz, Germany
    Hans Juergen Ohlbach, Ludwig-Maximilians-Universitlit, Miinchen, Germany
    Volker Sorge, University of Birmingham, UK
    Andrei Voronkov, University of Manchester, UK
    Toby Walsh, University of New South Wales, Australia

    Logic and Rewriting
    Claude Kirchner, LORIA, France
    Jose Meseguer, University of Urbana, IL. USA

    Tactical Theorem Proving and Proof Planning
    Alan Bundy, University of Edinburgh, Scotland, UK
    Amy Felty, University of Ottawa, Canada
    Jacques Fleuriot, University of Edinburgh, Scotland, UK
    Dieter Hutter, Universit¨u;t Saarbr¨u;cken, Germany
    Manfred Kerber, University of Birmingham, UK
    Christoph Kreitz, Cornell University, Ithaca, NY. USA and University of Potsdam, Germany

    Logic in Mechanical and Electrical Engineering
    Rudolf Kruse, Otto von Guericke-Universit¨u;t, Magdeburg, Germany
    Ebrahaim Mamdani, Imperial College, London, UK

    Logic for Knowledge Representation and the Semantic Web
    Franz Baader, Technische Universit¨u;t, Dresden, Germany
    Anthony Cohn, University of Leeds, UK
    Pat Hayes, University of West Florida, Pensacola, FL, USA
    Ian Horrocks, University of Manchester, UK
    Maurizio Lenzerini, University of Rome, Italy
    Bernhard Nebel, Albert-Ludwigs University, Freiburg. Germany

    Mathematical Logic
    Wilfrid Hodges, Queen Mary University, London, UK
    Janos Makowsky, Technion, Haifa, Israel

    Sam Buss, University of California, San Diego, CA, USA
    Wolfram Pohlers, University of Munster, Germany

    Algebraic Methods in Logic
    Miklos Ferenczi, Technical University of Budapest, Hungary
    Rob Goldblatt. Victoria University of Wellington, New Zealand
    Robin Hirsch, University College London, UK
    Idiko Sain, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    Applied Non-classical Logic
    Luis Farinas del Cerro, Paul Sabatier University, Toulouse, France
    Nicola Olivetti, Universite Paul Cezanne, Marseille, Fronce

    Logic Applied in Mathematics
    (including e-Learning Tools for Mathematics and Logic)

    Bruno Buchberger, Johannes Kepler University, Linz, Austria Robert Constable, Cornell University, Ithaca, NY. USA
    Fairouz Kamareddine, Heriot Watt University, Edinburgh, Scotland Michael Kohlhase, International University of Bremen, Germany Erica Melis, DFKI, Saarbnicken, Germany

    Logic and Neural Networks
    Artur d'Avila Garcez, City University, London, UK
    Steffen Holldobler, Technische Universitat, Dresden, Germany
    John G. Taylor, King's College London, UK
    Non-monotonic Logics and Logics of Change
    Jurgen Dix, Clausthal University of Technology, Clausthal, Germany
    Vladimir Lifschitz, University of Texas at Austin, TX, USA Michael Maher, University of New South Wales, Australia Donald Nute, University of Georgia, Athens, GA, USA
    David Pearce, Madrid, Spain

    Type Theory for Theorem Proving Systems
    Peter Andrews, Carnegie Mellon University, Pittsburgh, PA, USA
    Chris Benzm¨u;ller, Freie Universitiit Berlin, Berlin, Germany
    Chad Brown, Carnegie Mellon University, Pittsburgh, PA. USA
    Dale Miller, Ecole Polytechnique/lNRJA, Palaiseau, France
    Carsten Schlirmann, Yale University, New Haven, CT. USA

    Logic and Leaming
    Luc de Raedt, K.U. Leuven, Heverlee, Belgium
    John Lloyd, Australian National University, Canberra, Australia
    Steven Muggleton, Imperial College, London, UK

    Cognitive Robotics: Actions and Causation
    Gerhard Lakemeyer, Technische Universitat, Aachen, Germany
    Michael Thielscher, The University of New South Wales, Australia

    Logic and Planning
    Susanne Biundo, Universitat Ulm, Germany
    Patrick Doherty, Link6ping University, Sweden
    Henry Kautz, University of Washington, Seattle, WA. USA
    Paolo Traverso, ITC, JRST, Trento, Italy

    Logic and Computational Models of Scientific Reasoning
    Lorenzo Magnani, University of Pavia, Italy
    Luis Moniz Pereira, Universidade Nova de Lisboa, Lisboa, Portugal
    Paul Thagard, University of Waterloo, Waterloo, Canada

    Fuzzy Logic, Uncertainty and Probability
    Didier Dubois, Universite Paul Sabatier, Toulouse, France
    Petr Hajek, Academy of Sciences of the Czech Republic, Czech Republic
    Jeff Paris, University of Manchester. UK
    Henri Prade, Universite Paul Sabatier, Toulouse, Fronce
    Jon Williamson, University of Kent, UK

    Logic and Law
    Jose Carmo, University of Madeira, Madeira, Portugal
    Lars Lindahl, Lund University, Sweden
    Marek Sergot. Imperial College, London, UK

    Human Reasoning
    Peter Bruza, Queensland University of Technology, Australia
    John Woods, University of British Columbia, Vancouver. Canada

    Logic and category Theory
    Samson Abramsky, University of Oxford, Oxford, UK
    Joe Goguen, UCLA, San Diego, CA, USA
    Martin Hyland, King's College Cambridge, UK
    Jim Lambek, McGill University, Canada

    Logic and Physics (space time. relativity and quantum theory)
    Hajnal Andreka, Mathematical Institute, Budapest, Hungary
    Kurt Engesser, King's College London, UK
    Daniel Lehmann, Hebrew University of]erusalem, Israel
    lstvan Nemeti, Mathematical Institute, Budapest, Hungary
    Victor Pambuccian, Arizona State University West, Phoenix, Al, USA

    Fuzzy Logic
    George Metcalfe, University of Vienna, Austria

    Scope of the Journal

    All areas of pure and applied logic, including pure logical systems, proof theory, constructive logic, categorical logic, modal and temporal logic, model theory, recursion theory, type theory, nominal theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, belief revision, dynamic logic, quantum logic, algebraic logic, logic and cognition, probabilistic logic, logic and networks, neuro-logical systems, complexity, argumentation theory, logic and computation, logic and language, logic engineering, knowledge-based systems and automated reasoning, logical issues in knowledge representation, systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems, applications of logic in hardware and VLSI, natural language, concurrent computation, planning, agent theory, and databases.

    The Journal will also consider papers on the application of logic in other subject areas: philosophy, cognitive science, physics etc. provided they have some mathematical value.


    Submissions should be made to Jane Spurr ( with a cover note indicating the most suitable handling editor for the work.

    Forthcoming papers which will appear in future issues are listed here.

    Volume :

    Volume 5, Number 1


    View Details

    Volume :

    Volume 4, Number 11
    Special Issue Dedicated to the Memory of Dale Jacquette

    Guest Editor: John Woods


    View Details

    Volume :

    Volume 4, Number 10
    Special Issue: New Trends in Logic

    Guest Editor: Matthias Baaz


    View Details

    Volume :

    Volume 4, Number 9
    Logic for Normative Multi-Agent Systems

    Guest Editors: Gabriella Pigozzi and Leendert van der Torre


    View Details

    Volume :

    Volume 4, Number 8
    Formal Argumentation

    Guest Editors: Pietro Baroni, Dov Gabbay, Massimiliano Giacomin and Leendert van der Torre


    View Details

    Volume :

    Volume 4, Number 7
    Reasoning about Preferences, Uncertainty and Vagueness

    Guest Editors: Thomas Lukasiewicz, Rafael Penaloza and Anni-Yasmin Turhan


    View Details

    Volume :

    Volume 4, Number 6
    Arguing with Reasoning Distortions


    View Details

    Volume :

    Volume 4, Number 5


    View Details

    Volume :

    Volume 4, Number 4
    Special Issue Dedicated to the Memory of Grigori Mints

    Dov Gabbay and Oleg Prosorov, Guest Editors


    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


    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é


    View Details

    Volume :

    Volume 4, Number 1,
    Special Issue: Tools for Teaching Logic. January 2017

    Guest editors: Sophie Pinchinat and François Schwarzentruber


    View Details

    Volume :

    Volume 3, Number 5
    December 2016


    View Details

    Volume :

    Volume 3, Number 4
    Proof, Truth, Computation

    Guest editors: Hannes Leitgeb, Iosif Petrakis, Peter Schuster and Helmut Schwichtenberg


    View Details

    Volume :

    Volume 3, Number 3
    Special Issue: Connexive Logics

    Heinrich Wansing, Hitoshi Omori and Thomas Macaulay Ferguson, eds


    View Details

    Volume :

    Volume 3, Number 2
    Special Issue: Probabilistic and Quantitative Approaches to Computational Argumentation

    Guest editors: Matthias Thimm and Dov Gabbay


    View Details

    Volume :

    Volume 3, Number 1.
    Frontiers of Abduction Special Issue. May 2016

    Guest Editor: Lorenzo Magnani


    View Details

    Volume :

    Volume 2, Number 2


    View Details

    Volume :

    Volume 2, Number 1
    June 2015


    View Details

    Volume :

    Volume 1, Number 2
    November 2014


    View Details

    Volume :

    Volume 1, Number 1
    June 2014


    View Details

    © 2005–2018 College Publications / VFH webmaster