Handbook of Modal Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2006

Handbook of Modal Logic

Abstract

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
No file

Dates and versions

inria-00580143 , version 1 (26-03-2011)

Identifiers

  • HAL Id : inria-00580143 , version 1

Cite

Patrick Blackburn, Johan van Benthem, Frank Wolter. Handbook of Modal Logic. Elsevier, 3, pp.1260, 2006, 978-0-444-51690-9. ⟨inria-00580143⟩
505 View
0 Download

Share

Gmail Facebook X LinkedIn More