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
Encyclopaedia of Logic
IfColog series in Computational Logic
Tbilisi Mathematical Journal
Journal of Homotopy and Related Structures
IfCoLog Journal of Logics and their Applications
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

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 open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of 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.

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

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

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

    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

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

    Volume :

    Volume 1, Number 1
    June 2014


    View Details

    Volume :

    Voume 1, Number 2
    November 2014


    View Details

    Volume :

    Volume 2, Number 1
    June 2015


    View Details

    Volume :

    Volume 2, Number 2


    View Details

    Volume :

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

    Guest Editor: Lorenzo Magnani


    View Details

    © 2005–2016 College Publications / VFH webmaster