Authors:
- First consolidated monograph on reactive Kripke semantics
- Suitable for researchers in mathematical logic
- First presents detailed theory of reactive Kripke semantics then applications in a variety of areas
Part of the book series: Cognitive Technologies (COGTECH)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Reviews
Authors and Affiliations
-
Department of Computer Science, Bar-Ilan University, Ramat-Gan, Israel
Dov M. Gabbay
About the author
Bibliographic Information
Book Title: Reactive Kripke Semantics
Authors: Dov M. Gabbay
Series Title: Cognitive Technologies
DOI: https://doi.org/10.1007/978-3-642-41389-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Hardcover ISBN: 978-3-642-41388-9Published: 16 December 2013
Softcover ISBN: 978-3-662-51436-8Published: 23 August 2016
eBook ISBN: 978-3-642-41389-6Published: 29 November 2013
Series ISSN: 1611-2482
Series E-ISSN: 2197-6635
Edition Number: 1
Number of Pages: XII, 442
Number of Illustrations: 191 b/w illustrations, 10 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Mathematical Logic and Foundations, Logic