Handbook Of Modal Logic

Download

E-Book Overview

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth

E-Book Content

CONTRIBUTORS Carlos Areces INRIA Lorraine, 615 rue du Jardin Botanique, 54602 Villers l`es Nancy Cedex, France. [email protected] Sergei Artemov Computer Science, Graduate Center CUNY, 365 Fifth Avenue, New York, NY 10016, USA. [email protected] Franz Baader TU Dresden, Department of Computer Science, Institute for Theoretical Computer Science, 01062 Dresden, Germany. [email protected] Johan van Benthem Institute for Logic, Language & Computation, (ILLC), University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands; and Department of Philosophy, Stanford University, Stanford, CA 94305, USA. [email protected] Patrick Blackburn INRIA Lorraine, 615 rue du Jardin Botanique, 54602 Villers l`es Nancy Cedex, France. [email protected] Julian Bradfield Computer Science, King’s Buildings, Mayfield Road, Edinburgh EH9 3JZ, UK. [email protected] Torben Bra¨ uner Department of Computer Science, Roskilde University, PO Box 260, DK-4000 Roskilde, Denmark. [email protected] Balder ten Cate ISLA - Informatics Institute, University of Amsterdam, Kruislaan 403, 1098SJ, Amsterdam, The Netherlands. [email protected] Melvin Fitting Department of Mathematics and Computer Science, Lehman College, 250 Bedford Park Blvd. West, Bronx, NY 10468-1589, USA. melvin.fi[email protected] viii Contributors Silvio Ghilardi Department of Computer Science, Universit` a degli Studi di Milano, via Comelico 39, 20135 Milano, Italy. [email protected] Valentin Goranko School of Mathematics, University of the Witwatersrand, Private Bag 3, WITS 2050, Johannesburg, South Africa.
You might also like

红轮 第二卷 第二部
Authors: Aleksandr Solzhenitsyn    285    0

明代漠南蒙古历史硏究
Authors: 达力扎布    311    0

The Illustrated Star Wars
Authors: McQuarrie Anderson    158    0

Opengl Superbible: Comprehensive Tutorial And Reference
Authors: Graham Sellers , Richard S. Wright , Nicholas Haemel    187    0

Energy Trading And Risk Management: A Practical Approach To Hedging, Trading And Portfolio Diversification
Authors: Iris Marie Mack PhD EMBA    209    0

História Do Cinema Mundial - Vol. 1
Authors: Georges Sadoul    175    0

эффективное корпоративное управление
Authors: Косточкина Т.В.    286    0

информационно-аналитические системы и технологии в государственном и муниципальном управлении
Authors: Знаменский Д.Ю. , Сибиряев А.С.    277    0

таможенный контроль после выпуска товаров
Authors: Басарева К.В. , Коварда В.В. , Минакова И.В. , Цуканова Н.Е.    290    0

управление таможенными органами
Authors: Волков В.Ф.    283    0