Introducing reactive kripke semantics and arc accessibility

Dov M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


In this chapter the author introduces reactive Kripke semantics and arc accessibility. He describes the reactive paradigm in general and then gives some specific examples from different application areas. The author then discusses several options for defining reactivity. And finally the chapter gives some technical results in the area of modal logic.

Original languageEnglish
Title of host publicationCognitive Technologies
PublisherSpringer Verlag
Number of pages48
StatePublished - 2013

Publication series

NameCognitive Technologies
ISSN (Print)1611-2482

Bibliographical note

Publisher Copyright:
© 2013, Springer-Verlag Berlin Heidelberg.


Dive into the research topics of 'Introducing reactive kripke semantics and arc accessibility'. Together they form a unique fingerprint.

Cite this