Appeared in Volume 9/4, November 1996
The journal aims to promote the growth of logic and computing, including the following areas: logic systems such as classical and non-classical logic, constructive logic, modal logic, type theory; logical issues in LP, knowledge based systems and automated reasoning; semantics; specification and verification; applications of logic.
Editor-in-Chief: D.M. Gabbay, Imperial College, UK
All editorial correspondence should be sent to:
Jane Spurr
Imperial College of Science, Technology and Medicine
180 Queen's Gate, London SW7 2BZ, UK
Fax: +44 171 594 8201
Further details about Oxford Journals:
Tel: +44 1865 267 907
Fax: +44 1865 267 485
URL: http://www.oup.co.uk/