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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Mathematics

Năm:

1995

Nhà xuát bản:

Cambridge University Press

Ngôn ngữ:

english

Trang:

329

ISBN 10:

052146482X