Reactive Kripke Semantics

MLA

Gabbay, Dov M, and Gabbay. Reactive Kripke Semantics. Springer Berlin Heidelberg, 2013.

APA

Gabbay, D. M, & Gabbay, G. (2013). Reactive Kripke Semantics. Springer Berlin Heidelberg.

Chicago

Gabbay, Dov M., and Gabbay. Reactive Kripke Semantics. : Springer Berlin Heidelberg, 2013.