The book is currently out of stock
More about the book
The book begins with a clear overview of reactive Kripke semantics theory, providing a solid foundation for understanding its principles. Subsequent chapters showcase practical applications across various domains, making it a valuable resource for both researchers and graduate students in mathematical logic. Its comprehensive approach bridges theory and practice, catering to those looking to deepen their knowledge in this specialized field.
Book purchase
Reactive Kripke Semantics, Dov M. Gabbay
- Language
- Released
- 2016
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.