Reactive Kripke Semantics

Dov M. Gabbay

Research output: Book/ReportBookpeer-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 languageEnglish
Place of PublicationBerlin, Germany
PublisherSpringer
ISBN (Print)978-3-642-41389-6
StatePublished - 2013

Fingerprint

Dive into the research topics of 'Reactive Kripke Semantics'. Together they form a unique fingerprint.

Cite this