Modal Logic

Abstract : This is an advanced textbook on modal logic, a field which caught the attention of computer scientists in the 1970s. The book is intended both for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical, and prior acquaintance with first-order logic is assumed. The authors focus on modal languages as tools for working with relational structures, but also present a detailed introduction to algebraic semantics. Both traditional modal themes (such as completeness) and more recent topics (such as computational complexity and bisimulations) are treated in depth. Three appendices supply background information, and numerous exercises are provided. You can find out more about this book, and download the Table of Contents and Preface, at http://www.mlbook.org.
Type de document :
Ouvrage (y compris édition critique et traduction)
Cambridge University Press, 576 p, 2001, Cambridge Tracts in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100502
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:46:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00100502, version 1

Collections

Citation

Patrick Blackburn, Maarten De Rijke, Yde Venema. Modal Logic. Cambridge University Press, 576 p, 2001, Cambridge Tracts in Theoretical Computer Science. 〈inria-00100502〉

Partager

Métriques

Consultations de la notice

122