ISBN-13: 9783319344065 / Angielski / Miękka / 2016 / 170 str.
ISBN-13: 9783319344065 / Angielski / Miękka / 2016 / 170 str.
Benefiting researchers and graduate students involved in mathematical logic, this book opens with a detailed theory of reactive Kripke semantics in the first seven chapters, followed by five chapters demonstrating applications in a variety of areas.