by Dov M . Gabbay (Author)
This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.
Format: Hardcover
Pages: 512
Publisher: Clarendon Press
Published: 05 Sep 1996
ISBN 10: 0198538332
ISBN 13: 9780198538332