Handbook Of Modal Logic

Preparing link to download Please wait... 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

Relationship Development Intervention With Children, Adolescents And Adults 513    0

Governance Of Water: Institutional Alternatives And Political Economy 76    0

методология и философия науки [DOC] 214    0

Vida De Chaplin 171    0

Elizabeth Taylor: The Life Of A Hollywood Legend 232    0

Introduction To The Theory Of Formal Groups [DJVU] 75    0

Mude, Você, O Mundo!: Manual De Empreendedorismo Social [EPUB] 225    0

свободные экономические зоны 311    0

практикум по применению экономико-математических методов и моделей в таможенной статистике 270    0

курс социально-экономической статистики. учебник 322    0