Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and 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, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

Founding Editor-In-Chief
D M Gabbay
Editor-In-Chief:
D M Gabbay
Department of Informatics
Kings College London
Strand
London
WC2R 2LS
UK
Deputy Editors-In-Chief:
Murdoch Gabbay
Heriot Watt University
Edinburgh
Scotland
Leon van der Torre
University of Luxembourg
Luxembourg
Executive Editor
Dr Odinaldo Rodrigues
Department of Informatics
Kings College London
Strand
London
WC2R 2LS
UK
Journal Administrator:
Jane Spurr
Department of Informatics
Kings College London
Strand
London
WC2R 2LS
Publishers: Sending books for review
Editorial Board:
S Abramsky
UK
H Barendregt
Netherlands
H Barringer
UK
J van Benthem
Netherlands
H D Ehrich
Germany
M Fitting
USA
P Gardenfors
Sweden
M Gelfond
USA
M Georgeff
Australia
J Halpern
USA
C L Hankin
UK
W Hodges
UK
N Jennings
UK
P Kolaitis
USA
R A Kowalski
UK
T S E Maibaum
Canada
D Makinson
France
D Nute
USA
H J Olbach
UK
D Perlis
USA
J Siekmann
Germany
S Smets
Netherlands
R Turner
UK
Corner Editors
Non-Classical Logics
Walter Carnielli
Heinrich Wansing
Semantics
David Pym
Proof Theory
Arnon Avron
Formal Logic and Language
Michael Moorgat
Fuzzy Logic
Matthias Baaz
George Metcalfe
Universal Logic
Jean-Yves Beziau
Rewriting
Maribel Fernandez
Murdoch Gabbay
Logic and Agents
Michael Fisher
Michael Wooldridge
Learning and Reasoning
Artur d’Avila Garcez
Leslie G. Valiant
Logic and the Web
Przemysław Wałęga
Uli Sattler
Logic and Law
Trevor Bench-Capon, emeritus
Henry Prakken
John Woods
Logic for Ontology Engineering
Przemysław Wałęga
Uli Sattler
Constraints
Francesca Rossi
Toby Walsh
Judgement Aggregation
Christian List
Algebraic and Coalgebraic Logic
Robin Hirsh
Yde Venema
Logic and Games
Giacomo Bonanno
Erich Graedel
Argumentation
Phan Minh Dung
Guillermo R. Simari
Francesca Toni
Deontic Logic
John F. Horty
Guido Governatori
Ron van der Meyden
Leon van der Torre
Language and Computation
Staffan Larsson
Walter Daelemans
Andrew Kehler
Yoad Winter
Shuly Wintner
Computable Structures
Uri Andrews
Logic and Philosophy of Information
Marcello D'Agostino
Luciano Floridi
Advisors:
C Jones
UK
A Meyer
USA
D Scott
USA