Reactive Kripke Semantics

by Dov M. Gabbay

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 3662514362
• ISBN13: 9783662514368
• Release Date: August 2016
• Publisher: Springer
• Length: 442 Pages
• Weight: 1.40 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"