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