Reactive Kripke Semantics

Dov M. Gabbay

Reactive Kripke Semantics

Dov M. Gabbay

Department of Computer Science

Research output: Book/Report › Book › peer-review

Abstract

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

Original language	English
Place of Publication	Berlin, Germany
Publisher	Springer
ISBN (Print)	978-3-642-41389-6
State	Published - 2013

Access to Document

https://link.springer.com/book/10.1007/978-3-642-41389-6

Cite this

@book{a7edfcadaa2643ada4f489a2b69d40a6,

title = "Reactive Kripke Semantics",

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

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

year = "2013",

language = "אנגלית",

isbn = "978-3-642-41389-6",

publisher = "Springer",

}

TY - BOOK

T1 - Reactive Kripke Semantics

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

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

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

M3 - ???researchoutput.researchoutputtypes.bookanthology.book???

SN - 978-3-642-41389-6

BT - Reactive Kripke Semantics

PB - Springer

CY - Berlin, Germany

ER -

Reactive Kripke Semantics

Abstract

Access to Document

Fingerprint

Cite this