»
Journal of Applied Logic
 
 

Journal of Applied Logic

 
 

Journal

 0.419(2012)

Executive Editors:Dov M. Gabbay

Show

15708683

12

4

Go to Journal Website

Personal Print Journal

Subscription Details

Estimated Delivery Time


In Stock

USD 85.00

eJournal

Subscription Details

ScienceDirect Subscription

  • Access for 5 users
  • Access to 4 years of archives

USD 138.00

Print Journal

Subscription Details

Estimated Delivery Time


In Stock

USD 292.00
Buying for Institutions
Terms & Conditions

Additional Subscription Help

 
 
 

Aims & Scope

This journal welcomes papers in the areas of logic which can be applied in other disciplines as well as application papers in those disciplines, the unifying theme being logics arising from modelling the human agent. For a list of areas covered see the Editorial Board.

The editors keep close contact with the various application areas, with The International Federation of Compuational Logic and with the book series Studies in Logic and Practical Reasoning.

Benefits to authors
We also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.

Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: click here

Audience

Abstracting and Indexing

Scopus
Executive Editors Dov M. Gabbay King's College London, London, UK, Sarit Kraus Bar-llan University, Ramat Gan, Israel, Jörg Siekmann Universität des Saarlandes, Saarbrücken, Germany, Editorial Office Manager Jane Spurr King's College London, London, UK, Area Scientific Editors , Philosophical Logic Johan van Benthem Universiteit van Amsterdam, Amsterdam, Netherlands, Lou Goble Eugene, OR, USA, Stefano Predelli University of Nottingham, Nottingham, UK, Gabriel Sandu University of Helsinki, Helsinki, Finland, New Applied Logics Walter Carnielli Centre for Logic, Epistemology & the History Sci., Campinas, SP, Brazil, David Makinson London School of Economics, London, UK, Heinrich Wansing Ruhr-University Bochum, Bochum, Germany, Modal and Temporal Logic Carols Areces INRIA Nancy Grant Est, Villers les Nancy, France, Melvin Fitting City University of New York (CUNY), Bronx, NY, USA, Victor Marek University of Kentucky, Lexington, KY, USA, Mark Reynolds University of Western Australia, Perth, WA, Australia, Frank Wolter University of Liverpool, Liverpool, England, UK, Michael Zakharyaschev Birkbeck College, University of London, London, England, UK, Logic and Software Engineering Manfred Broy Technische Universität München, Garching bei München, Germany, John Fitzgerald Newcastle University, Newcastle Upon Tyne, UK, Kung-Kiu Lau University of Manchester, Manchester, England, UK, Tom Maibaum McMaster University, Hamilton, ON, Canada, German Puebla Universidad Politécnica de Madrid (UPM), Madrid, Spain, Formal Methods: Specifications and Verification Howard Barringer University of Manchester, Manchester, England, UK, David Basin Eidgenössische Technische Hochschule (ETH) Zürich, Zürich, Switzerland, Dines Björner Danmarks Tekniske Universitet (DTU), Lyngby, Denmark, Kokichi Futatsugi Japan Advanced Institute of Science and Technology, Ishikawa, Japan, Yuri Gurevich Microsoft Research, Redmond, WA, USA, Logic and Constraint Logic Programming Manuel Hermenegildo Universidad Politécnica de Madrid (UPM), Madrid, Spain, Antonis Kakas University of Cyprus, Nicosia, Cyprus, Francesca Rossi Università degli Studi di Padova, Padova, Italy, Gert Smolka Universität des Saarlandes, Saarbrücken, Germany, Logic and Databases Jan Chomicki State University of New York (SUNY) at Buffalo, Buffalo, NY, USA, Enrico Franconi Libera Università di Bolzano, Bozen-Bolzano, Italy, Georg Gottlob University of Oxford, Oxford, England, UK, Leonid Libkin University of Edinburgh, Edinburgh, UK, Franz Wotawa Technische Universität Graz, Graz, Austria, Logic and Multi-Agent Systems Michael Fisher University of Liverpool, Liverpool, England, UK, Nick Jennings University of Southampton, Southampton, UK, Michael Wooldridge University of Liverpool, Liverpool, England, UK, Logic and Algebraic Programming Jan Bergstra Universiteit van Amsterdam, Amsterdam, Netherlands, John Tucker Swansea University, Swansea, UK, Logic and Natural Language Processing Wojciech Buszkowski Adam Mickiewicz University of Poznan, Poznan, Poland, Hans Kamp Universität Stuttgart, Stuttgart, Germany, Marcus Kracht University of California at Los Angeles (UCLA), Los Angeles, CA, USA, Johanna Moore University of Edinburgh, Edinburgh, UK, Michael Moortgat Utrecht University, Utrecht, Netherlands, Manfred Pinkal Universität des Saarlandes, Saarbrücken, Germany, Hans Uszkoreit   Universität des Saarlandes, Saarbrücken, Germany, Automated Inference Systems and Model Checking Ed Clarke Carnegie Mellon University, Pittsburgh, PA, USA, Ulrich Furbach Universität Koblenz-Landau, Koblenz, Germany, Hans Juergen Ohlbach Technische Universität München, Garching bei München, Germany, Volker Sorge University of Birmingham, Birmingham, UK, Andrei Voronkov Uppsala Universitet, Uppsala, Sweden, Toby Walsh University of York, York, UK, Logic and Rewriting Claude Kirchner Loria, Vandoeuvre-lès-Nancy Cedex, France, José Meseguer Thomas M. Siebel Center for Computer Science, Urbana, IL, USA, Tactical Theorem Proving and Proof Planning Alan Bundy University of Edinburgh, Edinburgh, UK, Amy Felty University of Ottawa, Ottawa, ON, Canada, Jacques  Fleuriot University of Edinburgh, Edinburgh, UK, Dieter Hutter DFKI GmbH, Saarbrücken, Germany, Manfred Kerber University of Birmingham, Birmin
 
 
 
Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy
FAQ

Author Services

Prepare your Article for submission
Translation Services
English Language Editing
Illustrations

Celebrate your publication success
Article Offprints, Journal Issues, Article/Cover Posters, Create Your Own Book

Additional Services
Mobile Apps,Special Content Offerings,and more...