Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.
Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.

Founding Editor-in-Chief
D M Gabbay
Editors-in-Chief:
A. Amir
Israel
D. M. Gabbay
UK
G. Gottlob
UK
R. de Queiroz
Brazil
J. Siekmann
Germany
Executive Editors:
W. Carnielli
Brazil
M.J. Gabbay
UK
O. Rodrigues
UK
J. Spurr
UK
Editorial Board:
Cognition
Algorithms in Natural Language Processing
Walter Daelemans
Andrew Kehler
Shalom Lappin
Michael Moortgat
Manfred Pinkal
Hans Uszkoreit
Johan van Bentham
Shuly Wintner
Algorithms in Robotics and Cognitive Actors
Frank Kirchner
Alan K. Mackworth
Bernhard Nebel
Michael Thielscher
Algorithms in Multi Agent Systems
Guido Boella
Helder Coelho
Jörg Denzinger
Enrico Gerding
Matthias Klusch
Ryszard Kowalczyk
Sascha Ossowski
Leon van der Torre
Algorithms in Knowledge Representation and the Semantic Web
Franz Baader
Ian Horrocks
Fairouz Kamareddine
Michael Kohlhase
Maurizio Lenzerini
Algorithms and Neural Networks
Howard Blair
Artur d’Avila Garcez
Barbara Hammer
Pascal Hitzler
Luis Lamb
Raul Rojas
Algorithms in Machine Learning
John Lloyd
Stephen Muggleton
Oliver Ray
Donald Sofge
Ed Stabler
Gerson Zaverucha
Informatics
Algorithms in Programming Languages and Software Engineering
Howard Barringer
Manfred Broy
Kokichi Futatsugi
Manuel Hermenegildo
Antonis Kakas
Amr Sabry
Franz Wotowa
Algorithms in Information Retrieval, Data Bases and the Web
Peter Bruza
Gerhard Lakemeyer
Carsten Schuermann
Algorithms in Life Sciences, Computational and Systems Biology
David Gilbert
Algorithms in Quantum Computing and Nonstandard Models of Computing
Samson Abramsky
Hajnal Andreka
William Lawless
Daniel Lehmann
Istvan Nemeti
Mladen Pavicic
John Tucker
Algorithms for Formal Methods and Cryptography
Wojciech Buszkowski
Yoan Pinzon
Wolfgang Reisig
Algorithms in Visual Computing
Xiaotie Deng
Richard Hartley
Nahum Kiryati
Victor Pambuccian
Philipp Slusallek
Joachim Weickert
Jinhui Xu
Algorithms in Economics and Game Theory
Christian List
Paul Spirakis
Logic
Algorithms for Automated Reasoning
Christoph Benzmueller
Jacques Fleuriot
Ulrich Fuhrbach
Christoph Kreitz
Hans-Juergen Ohlbach
Gert Smolka
Volker Sorge
Geoff Sutcliff
Christoph Walther
Algorithms in Logic and Decision Procedures
Jan Bergstra
Sam Buss
Robin Hirsch
Wilfrid Hodges
Henry Kautz
Janos Makowsky
Grigori Mints
Valentin Shehtman
Saharon Shelah
Algorithms in Spatial Logic and Geography
Tony Cohn
Christian Freksa
Ian Pratt
Michael Zakharyaschev
Algorithms and Uncertainty
Didier Dubois
Luis Farinas del Cerro
Rudolf Kruse
Serafin Moral
Henri Prade
Jon Williamson
Algorithms in the Philosophy of Sciences
Hans Kamp
Paul Thagard
John Woods
Algorithms and Procedures in Law
Jose Carmo
Luc de Raedt
Henry Prakken
Marek Sergot
Algorithms in Non-monotonic Logics
Juergen Dix
Thomas Eiter
Tony Hunter
Michael Maher
Luis Moniz Pereira
Mirek Truszczynski
Algorithms in nonclassical, modal, temporal and substructural Logics
Walter Carnielli
Melvin Fitting
Lou Goble
Marcus Kracht
Lorenzo Magnani
George Metcalfe
Nicola Olivetti
Mark Reynolds