Skip to main content
Zoom the image with the mouse

Reactive Kripke Semantics

by

ISBN: 9783662514368
List Price: $109.99
Special Offers Available
Free shipping on orders over $95
Buy one with 1% offer on sale price
Buy New
Hurry! Only left
Image coming soon
As low as $109.99

Reactive Kripke Semantics (9783662514368)

Springer

We can help you leverage the power of books

Customer Service

Connect with a dedicated account manager who is there every step of the way.

Price Match Guarantee

If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.

Free Shipping

Enjoy free ground shipping on your order of $95 or more!

Brand New Guarantee

We only sell books that are brand new and protect that with a guarantee.

Customization

From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.

Learn more about ordering
Details

This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures.

Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students.

The book, Reactive Kripke Semantics (9783662514368) [Order Bulk Books, Wholesale, Quantity Discount] with ISBN# 9783662514368 in by may be ordered bulk quantities. Minimum orders start at copies.

Product details

Publisher: Springer Berlin Heidelberg
Publisher: Springer Berlin Heidelberg

GMA connects authors, speakers, and talent with the right people at the right time.

Learn More