Modal Logic
By

Rating

Product Description
Product Details

Table of Contents

Introduction
1: Classical logic
2: Intuitionistic logic
3: Modal logics
4: From logics to classes of logics
5: Canonical models and filtration
6: Incompleteness
7: Algebraic semantics
8: Relational semantics
9: Canonical formulas
10: Kripke completeness
11: The finite approximability
12: Tabularity
13: Post completeness
14: Interpolation
15: The disjunction property and Halldén completeness
16: The decidability of logics
17: Admissibility and drivability of inference rules
18: The decidability of logics' properties
19: Complexity problems
Reference
Index

Reviews

`This book presents a rich resource for modern mathematical modal logic, useful both as an advanced textbook and as a source for up-to-date results.'
Zentralblatt fuer Mathematik 871/97

Ask a Question About this Product More...
 
How Fishpond Works
Fishpond works with suppliers all over the world to bring you a huge selection of products, really great prices, and delivery included on over 25 million products that we sell. We do our best every day to make Fishpond an awesome place for customers to shop and get what they want — all at the best prices online.
Webmasters, Bloggers & Website Owners
You can earn a 8% commission by selling Modal Logic (Oxford Logic Guides) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep! You should start right now!
Authors / Publishers
Are you the Author or Publisher of a book? Or the manufacturer of one of the millions of products that we sell. You can improve sales and grow your revenue by submitting additional information on this title. The better the information we have about a product, the more we will sell!
Item ships from and is sold by Fishpond World Ltd.

Back to top