Introducing reactive kripke semantics and arc accessibility

Dov M. Gabbay

doi:10.1007/978-3-642-41389-6_2

Introducing reactive kripke semantics and arc accessibility

Dov M. Gabbay

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

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 language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	29-76
Number of pages	48
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_2
State	Published - 2013

Publication series

Name	Cognitive Technologies
Number	9783642413889
ISSN (Print)	1611-2482

Bibliographical note

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

Access to Document

10.1007/978-3-642-41389-6_2

Cite this

@inbook{8585ff08f84a4f688ac3986e129a0194,

title = "Introducing reactive kripke semantics and arc accessibility",

abstract = "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.",

author = "Gabbay, \{Dov M.\}",

note = "Publisher Copyright: {\textcopyright} 2013, Springer-Verlag Berlin Heidelberg.",

year = "2013",

doi = "10.1007/978-3-642-41389-6\_2",

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "29--76",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Introducing reactive kripke semantics and arc accessibility

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

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

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

UR - https://www.scopus.com/pages/publications/85028751216

U2 - 10.1007/978-3-642-41389-6_2

DO - 10.1007/978-3-642-41389-6_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85028751216

T3 - Cognitive Technologies

SP - 29

EP - 76

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Introducing reactive kripke semantics and arc accessibility

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this