逻辑的应用领域与分支

从 Journal of Applied Logic 的编委会名单可以大致了解逻辑的应用领域和分支有哪些。这大概是我见过最长的编委会名单了，也是我见过的分类最细的编委会名单。大概也只有 Gabbay 这样的大牛才能聚齐这么多人。从这个名单来看，逻辑仿佛成了一个相当宏伟的领域和事业。逻辑的应用范围从数学、物理学、计算机科学到哲学、认知科学、语言学乃至法律学，几乎无所不包。值得注意的是，“逻辑与范畴论”被单独作为一个子类列出来。

以下内容转引自：http://www.elsevier.com/wps/find/journaleditorialboard.cws_home/672712/editorialboard

Philosophical Logic
Johan van Benthem: Universiteit van Amsterdam (UvA), Amsterdam, Netherlands
Lou Goble: 16 N. Madison St., Eugene, 97402, 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
Robin Milner: † 2010
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 (TUM), Garching bei München, Germany
John Fitzgerald: Newcastle University, Newcastle Upon Tyne, UK
Kung-Kiu Lau: University of Manchester, Manchester, England, UK
Tom Maibaum: King’s College London, London, UK
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
Amir Pnueli: Weizmann Institute of Science, Rehovot, Israel

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à de Bolzano, Bozen-Bolzano, Italy
Georg Gottlob: University of Oxford, Oxford, England, UK
Leonid Libkin: University of Toronto, Toronto, Canada
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 (UvA), 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: Universiteit Utrecht, 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 (TUM), 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, Villers-lès-Nancy, 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, Birmingham, UK
Christopher Kreitz: Cornell University, Ithaca, NY, USA

Logic in Mechanical and Electrical Engineering
Rudolf Kruse: Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany
Ebrahaim Mamdani: Imperial College London, Kensington, London, UK

Logic for Knowledge Representation and Semantic Web
Franz Baader: Technische Universität Dresden, Dresden, Germany
Anthony Cohn: University of Leeds, England, UK
Pat Hayes: University of West Florida, Pensacola, USA
Ian Horrocks: University of Manchester, Manchester, England, UK
Maurizio Lenzerini: Università di Roma “La Sapienza”, Roma, Italy
Bernhard Nebel: Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

Mathematical Logic
Wilfrid A. Hodges: Okehampton, England, UK
Janos Makowsky: Technion – Israel Institute of Technology, Haifa, Israel

Proof Theory
Sam Buss: University of California at San Diego (UCSD), San Diego, La Jolla, CA, USA
Wolfram Pohlers: Westfälische Wilhelms-Universität Münster, Münster, Germany

Algebraic Methods in Logic
Miklos Ferenczi: Technical University of Budapest, Budapest, Hungary
Rob Goldblatt: Victoria University of Wellington, Wellington, New Zealand
Robin Hirsch: University College London (UCL), London, England, UK
Ildikó Sain: Hungarian Academy of Sciences, Budapest, Hungary

Applied Non-classical Logic
Luis Fariñas del Cerro: Université Paul Sabatier (Toulouse), Toulouse Cedex, France
Nicola Olivetti: Université Paul Cézanne, Marseille Cedex 20, France

Logic Applied in Mathematics (including e-Learning Tools for Mathematics and Logic)
Bruno Buchberger: Johannes-Kepler-Universität Linz, Linz, Austria
Robert L. Constable: Cornell University, Ithaca, NY, USA
F. Kamareddine: Heriot-Watt University, Edinburgh, UK
Michael Kohlhase: International University Bremen, Bremen, Germany
Erica Melis: Universität des Saarlandes, Saarbrücken, Germany

Logic and Neural Networks
Artur d’Avila Garcez: City University London, London, UK
Steffen Holldobler: Technische Universität Dresden, Dresden, Germany
John G. Taylor: University of London, London, UK

Non-monotonic Logics and Logics of Change
Jürgen Dix: University of Manchester, Manchester, England, UK
Vladimir Lifschitz: University of Texas at Austin, Austin, TX, USA
Michael J. Maher: University of New South Wales, Sydney, NSW, Australia
Donald Nute: University of Georgia, Athens, GA, USA
D. Pearce: Universidad Politécnica de Madrid (UPM), Madrid, Spain

Type Theory for Theorem Proving Systems
Peter Andrews: Carnegie Mellon University, Pittsburgh, PA, USA
Christoph Benzmüller: Universität des Saarlandes, Saarbrücken, Germany
Chad Brown: Carnegie Mellon University, Pittsburgh, PA, USA
Dale Miller: Ecole Polytechnique de France, Palaiseau, France
C. Schürmann: Yale University, New Haven, CT, USA

Logic and Learning
Luc de Raedt: Albert-Ludwigs-Universität Freiburg, Freiburg, Germany
John Lloyd: Australian National University (ANU), Canberra, ACT, Australia
Stephen H. Muggleton: Imperial College London, London, UK

Cognitive Robotics: Actions and Causation
Gerhard Lakemeyer: Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen Germany
Michael Thielscher

Logic and Planning
Susanne Biundo: Universität Ulm, Ulm , Germany
Patrick Doherty: Linköping University, Linköping, Sweden
Henry Kautz: University of Rochester, Rochester, NY, USA
Paolo Traverso: Automated Reasoning Systems (SRA) Division ITC/IRS, Trento, Italy

Logic and Computational Models of Scientific Reasoning
Lorenzo Magnani: Università degli Studi di Pavia, Pavia, Italy
Luís Moniz Pereira: Universidade Nova de Lisboa (Lisbon), Monte De Caparica, Caparica, Portugal
Paul Thagard: University of Waterloo, Waterloo ON, Canada

Fuzzy Logic, Uncertainty and Probability
Didier Dubois: Université Paul Sabatier (Toulouse), Toulouse, France
Petr Hajek: Academy of Sciences of the Czech Republic, Prague 8, Czech Republic
Jeff B. Paris: University of Manchester, Manchester, UK
Henri Prade: Université Paul Sabatier (Toulouse), Toulouse, France
Jon Williamson: University of Kent at Canterbury, Canterbury, UK

Logic and Law
José Carmo: SQIG at IT, São João De Deus, Lisboa, Portugal
Lars Lindahl: Lund University, Lund, Sweden
Marek Sergot: Imperial College London, London, UK

Human Reasoning
Peter Bruza: Queensland University of Technology, Brisbane, QLD, Australia
John Woods: University of British Columbia, Vancouver BC, Canada

Logic and Category Theory
Samson Abramsky: University of Oxford, Oxford, England, UK
Joe Goguen: University of California at San Diego (UCSD), La Jolla, CA, USA
Martin Hyland: University of Cambridge, Cambridge, England, UK
Jim Lambek: McGill University, Montreal, QC, Canada

Logic and Physics (space time, relativity and quantum theory)
Hajnal Andréka: Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary
Kurt Engesser: King’s College London, London, UK
Daniel Lehmann: Hebrew University of Jerusalem, Jerusalem, Israel
Istvan Nemeti: Hungarian Academy of Sciences, Budapest, Realtanoda, Hungary
Victor Pambuccian: Arizona State University West, Phoenix, AZ, USA

Fuzzy Logic
George Metcalfe: Vanderbilt University, Nashville, TN, USA