Kripke's Worlds: An Introduction to Modal Logics Via Tableaux

Kripke's Worlds: An Introduction to Modal Logics Via Tableaux

About this item

Paperback, Springer Verlag, 2011, ISBN13 9783764385033, ISBN10 3764385030
$69.98
$69.98
FREE shipping on orders $50+
If your order totals $50 or more and you select Value shipping, this item and any other qualifying items ship for free!
Only 1 left!
Sold & Shipped by Walmart
FREE shipping on orders $50+ Faster shipping options available at checkout
Pickup not available  
Loading options...
Sold & Shipped by Walmart

FREE shipping available

 on $50+ orders
 

Shipping

Shipping options from Walmart
Type
Arrives
Cost
Standard
Data unavailable
$5.97
Value
Data unavailable
Free
Rush
Data unavailable
$10.97
Expedited
Data unavailable
$8.97

Pickup not available

 

Pickup

This item is not available for pickup or at any of the Walmarts within 50 miles of your location.
FREE shipping on orders $50+ Faster shipping options available at checkout
Pickup not available  

About this item

Important Made in USA Origin Disclaimer: For certain items sold by Walmart on Walmart.com, the displayed country of origin information may not be accurate or consistent with manufacturer information. For updated, accurate country of origin data, it is recommended that you rely on product packaging or manufacturer information.
KRIPKE'S WORLDS

About this item

Important Made in USA Origin Disclaimer: For certain items sold by Walmart on Walmart.com, the displayed country of origin information may not be accurate or consistent with manufacturer information. For updated, accurate country of origin data, it is recommended that you rely on product packaging or manufacturer information.

KRIPKE'S WORLDS

Possible world models were introduced by Saul Kripke in the early 1960s. Basically, a possible worlds model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics: logics of necessity and possibility (alethic logics), logics of time (temporal logics), logics of knowledge and belief (epistemic and doxastic logics), logics of programs and of action (dynamic logics), logics of obligation (deontic logics), as well as for logics for describing ontologies (description logics). They have also turned out useful for other nonclassical logics such as intuitionistic logics, conditional logics, and several paraconsistent and relevant logics. All 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.

All these logics were not only studied semantically but also proof theoretically. The proof systems for modal logics come in various styles: Hilbert style, natural deduction, sequents, and resolution. However, it is fair to say that the most uniform and most successful such systems are tableaux systems. Given a logic and a formula, they allow one to check whether there is a model in that logic. This basically amounts to trying to build a model for the formula by building a tree. In this book we follow a more general approach and try to build a graph, the advantage being that a graph is closer to a Kripke model than a tree.

This book provides a step-by-step introduction to possible worlds semantics (and by that to modal and other nonclassical logics) via the tableaux method. It is accompanied by a piece of software called LoTREC(www.irit.fr/Lotrec). LoTREC allow one to check whether a given formula is true at a given world of a given model and to check whether a given formula is satisfiable in a given logic. The latter can be done immediately if the tableau system for that logic has already been implemented in LoTREC. For logics for which this has not been done yet LoTREC offers the possibility to implement a tableau system in a relatively easy way: users need not be computer scientists in order to implement new modal logics, thanks to a simple, graph-based, interactive language.

Specifications

Number of Pages: 198
Original Languages: English
Author: Said, Bilal/ ,  Gasquet, Olivier ,  Herzig, Andreas
Series Title: Studies in Universal Logic
Publisher: Birkhauser
ISBN-13: 9783764385033
Assembled Product Dimensions (L x W x H): 6.50 x 9.50 x 0.75 Inches
ISBN-10: 3764385030
Show

Customer Reviews

Be the first to review this item. Share your rating and review so that other customers can decide if this is the right item for them.

Customer Q&A

Back
Questions & Answers 0 questions

Ask a question

If you would like to share feedback with us about pricing, delivery or other customer service issues, please contact customer service directly.


Q&A tips and guidelines

Q&A Exchange Guidelines

When writing your question or answer, please follow these guidelines:

  • Do: Make sure your question is directly related to the product
  • Do: Be specific and provide as many details as possible
  • Do: Include the model number (if applicable)
  • Do: Write your question in English
  • Do Not: Include personal information (such as your full name)
  • All submitted questions and answers are subject to the terms set forth in our Terms and Conditions

We reserve the right not to post your question or answer if it contains any of the following:

  • Any information not related to the actual merchandise or topic
  • Obscenities, discriminatory language or other language not suitable for a public forum
  • Advertisements or “spam” content
  • Email addresses, physical addresses or other forms of contact information
  • Critical or spiteful comments on other questions or answers posted on the page or their authors
  • Any imagery that demonstrates incorrect use of the merchandise
  • Anything that Walmart deems to be inappropriate, at Walmart's discretion

Provide as many details as possible, including the model number (if applicable).

Remember: Don’t include personal information (such as your full name).


Preview Question

Thank you.

Questions will be checked against our question guidelines and posted within five to seven business days.

Policies & Plans

See any care plans, options and policies that may be associated with this product.

Gifting plans

The following available options may be selected during checkout:
Gift message: Add a personal note that we'll include with your gift.
Gift receipt: When you add other gift options, we'll include a receipt that keeps the price a secret but makes it easy to exchange or return an item.

Pricing policy

About our prices
We’re committed to providing low prices every day, on everything. So if you find a current lower price from an online retailer on an identical, in-stock product, tell us and we’ll match it. See more details at Online Price Match.

Returns

Returns are easy at Walmart
Not happy with a purchase? No problem. We've made returning items as easy as possible. And, most purchases can be returned for free. Learn more about our Returns Policy.