rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783764385033

Kripke's Worlds

by ; ; ;
  • ISBN13:

    9783764385033

  • ISBN10:

    3764385030

  • Format: Paperback
  • Copyright: 2013-12-09
  • Publisher: Birkhauser

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $89.99 Save up to $57.95
  • Rent Book $64.12
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    SPECIAL ORDER: 1-2 WEEKS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

How To: Textbook Rental

Looking to rent a book? Rent Kripke's Worlds [ISBN: 9783764385033] for the semester, quarter, and short term or search our site for other textbooks by Gasquet, Olivier; Herzig, Andreas; Said, Bilal; Schwarzentruber, Francois. Renting a textbook can save you up to 90% from the cost of buying.

Summary

Possible worlds models have been defined by Saul Kripke in the early 60ies. They provide semantics for various modal logics such as temporal logics, logics of knowledge and belief, logics of action, logics of obligation, as well as for description logics. They also give semantics for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. These logics have been studied intensively in philosophical and mathematical logic and in computer science, and have been applied increasingly in various domains such as program semantics, artificial intelligence, and more recently  in the semantic web. For almost all of these logics there exist semantic tableaux proof systems which for a given formula allow to check whether it has a model. The present book contains a step-by-step introduction to possible worlds semantics and modal and other nonclassical logics. It is accompanied by a piece of software that allows to build models, to check whether a given formula is true in a model, and to check whether a given formula is valid in a given logic. Beyond working with existing tableaux systems, the program also allows to implement tableau systems for new logics by means of a simple interactive graph-based language accessible to readers that are not computer scientists. 

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program