模态逻辑（剑桥理论计算机科学论文集） Modal Logic   

基本信息

by Patrick Blackburn (Author) , Maarten de Rijke (Author) , Yde Venema (Author)

Series:Cambridge Tracts in Theoretical Computer Science

Format:Paperback / softback 578 pages, 20 Line drawings, unspecified

Publisher:Cambridge University Press

Imprint:Cambridge University Press

ISBN:9780521527149

Published:22 Aug 2002

Weight:860g

Dimensions:227 x 152 x 28 (mm)

页面数据仅供参考，具体以实物为准

书籍简介

这是一本2001年关于模态逻辑的高级教科书，这个领域在1970年代末引起了计算机科学家的注意。此后，从经济学到计算语言学等领域的研究人员都意识到了它的价值。本书是为新手和更有经验的读者编写的，在每一章的开头都清楚地标明了两条不同的轨道。本书的发展是数学化的；假定事先熟悉一阶逻辑及其语义，并且需要熟悉集合理论的基本数学概念。作者专注于使用模态语言作为工具来分析关系结构的属性，包括它们的算法和代数方面，并考虑了逻辑和计算机科学问题的应用，如完备性、可计算性和复杂性。三个附录提供了基本的背景信息，并提供了大量练习。是任何想学习现代模态逻辑的人的理想选择。

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

作者简介

马腾-德-莱克（Maarten de Rijke）（生于1961年8月1日）是一位荷兰计算机科学家。他的工作集中在模态逻辑和知识表示方面，但自21世纪初以来，他主要从事信息检索工作。他的工作得到了Nederlandse Organisatie voor Wetenschappelijk Onderzoek（NWO）、公私合营企业和欧盟委员会（第六和第七框架计划）的资助。

Maarten de Rijke (born 1 August 1961) is a Dutch computer scientist. His work initially focused on modal logic and knowledge representation, but since the early years of the 21st century he has worked mainly in information retrieval. His work is supported by grants from the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), public-private partnerships, and the European Commission (under the Sixth and Seventh Framework programmes).

目录

1. Basic concepts;

2. Models;

3. Frames;

4. Completeness;

5. Algebras and general frames;

6. Computability and complexity;

7. Extended modal logic.