Modal Logic for Open Minds
Johan van Benthem
In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
Năm:
2000
Nhà xuát bản:
CSLI Publications
Ngôn ngữ:
english
Trang:
390
ISBN 10:
157586598X
ISBN 13:
9781575865980
Loạt:
Center for the Study of Language and Information - CSLI Lecture Notes 199
File:
PDF, 2.13 MB
IPFS:
,
english, 2000