Journal of the IGPL

An Electronic Journal on Pure and Applied Logic

ISSN 0945-9103

• General Description
• Publication Policy
• Editorial Board
• How to Submit Papers
• Electronic Access
• Subscription Form
• Prize for the Best Idea of the Year
• Further Useful Information
• Announcements and other Actual Topics
• Volumes
  • Volume 4: Number 2, Number 1,
  • Volume 3: Number 6, Number 5, Number 4, Number 2,3, Number 1
  • Volume 2: Number 2, Number 1
  • Volume 1: Number 1
• Direct Access to the Journal FTP Directory at Imperial College

Editorial Board

Editor-in-Chief

                 Dov M Gabbay 
                 Department of Computing
                 Imperial College
                 180 Queen's Gate 
                 London SW7 2BZ,
                 UK 
                 dg@doc.ic.ac.uk
                 Tel +44 171 594 8205
                 Fax +44 171 594 8201

Executive Editors

Ruy de Queiroz                 Hans Jürgen Ohlbach
Departamento de Informatica    Max-Planck-Institut für Informatik
UFPE em Recife                 Im Stadtwald
Caixa Postal 7851              D-66123 Saarbrücken,
Recife, PE 50732-970           Germany
Brazil                         
email:  ruy@di.ufpe.br         email:  ohlbach@mpi-sb.mpg.de
Voice: +55 81 271 8430         Voice:  +49 681 302 5366
Fax:   +55 81 271 8438         Fax:    +49 681 302 5401

Editorial Board:

• Jon Barwise, Indiana, USA
• Wilfrid Hodges, Queen Mary College, UK
• Hans Kamp, Stuttgart
• Robert Kowalski, Imperial College, UK
• Grigori Mints, Stanford, USA
• Ewa Orlowska, Warsaw, Poland
• Amir Pnueli, Weizmann Institute, Israel
• Vaughan Pratt, Stanford, USA
• Johan van Benthem, ILLC, Amsterdam

Administrators:

Ms Janice Lonsdale            Ms Regina Kraemer
Imperial College, London      Max-Planck-Institut,Saarbrücken

How to Submit Papers

• of how to obtain the file electronically, if you have the .dvi or .ps file; or
• that you have put the file (.dvi, .ps or .tex) in the public area theory.doc.ic.ac.uk (146.169.22.150), directory theory/forum/igpl/Bulletin, subdirectory `submissions');