First Steps in Modal Logic

Main
Mathematics
First Steps in Modal Logic

First Steps in Modal Logic

Name: First Steps in Modal Logic
ISBN: 9780521464826

Sally Popkorn

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

This is a graduate-level text for a first course in propositional modal logic. It is written from the semantical point of view rather than the more usual proof theoretic approach, and the book covers all basic material including the propositional languages, the semantics and correspondence results, and proof systems and completeness results--as well as some topics not usually covered in a modal logic course, such as bisimulation. Important features of the book are the many exercises and extensive set of solutions that are included.

种类:

Mathematics

年:

1995

出版社:

Cambridge University Press

语言:

english

页:

329

ISBN 10:

052146482X