Presents neural network models for a number of computer science logics, including modal, temporal, and epistemic logics, by using a graphical presentation. This book explains neural networks using a sound, neural-symbolic integration methodology. It focuses on the benefits of integrating robust learning with expressive reasoning capability.