Logic Journal of the IGPL

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.

About Oxford University Press

Oxford University Press is a department of the University of Oxford. It furthers the University's objective of excellence in research, scholarship, and education by publishing worldwide. OUP is the world's largest university press with the widest global presence. It publishes thousands of new publications a year, has offices in around 50 countries, and employs more than 6,000 people worldwide.

It has become familiar to millions through a diverse publishing program that includes scholarly works in all academic disciplines, bibles, music, school and college textbooks, children's books, materials for teaching English as a foreign language, business books, dictionaries and reference books, and academic journals.