Reactive Kripke Semantics

By:

Dov M Gabbay

Format:

Paperback / softback

Series:

Cognitive Technologies

Show Hide Adult Content

$299.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $74.75 with Afterpay Learn more

6 weekly interest-free payments of $49.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

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 forPhD students.

Author Biography:

The author is one of the foremost authorities on nonclassical logics and their applications in computing.

Release date NZ

August 23rd, 2016

Author

Dov M Gabbay

Series

Cognitive Technologies

Pages

442

Edition

Softcover reprint of the original 1st ed. 2013

Audience

Professional & Vocational

Illustrations

10 Illustrations, color; 191 Illustrations, black and white; XII, 442 p. 201 illus., 10 illus. in color.

Dimensions

155x235x23

ISBN-13

9783662514368

Product ID

25684354

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here