by Dov M . Gabbay (Author)
This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.
Format: Paperback
Pages: 456
Edition: Softcover reprint of the original 1st ed. 2013
Publisher: Springer
Published: 12 Aug 2016
ISBN 10: 3662514362
ISBN 13: 9783662514368
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
