Conditional and preferential logics
Subtitle: proof methods and theorem proving
By: Gian Luca Pozzato
Series: Frontiers in artificial intelligence and applications -- v. 208. -- Dissertations in artificial intelligence; Frontiers in artificial intelligence and applications -- v. 208.; Frontiers in artificial intelligence and applications
Publisher: IOS Press
Published: 2010
Place of publication: Amsterdam; Washington, DC
Language: eng
Number of pages: 200
ISBN-13: 9781607500940
Subjects: Symbolic and mathematical Logic; Proof theory
Notes: Revised and updated version of the author's Ph.D. dissertation, University of Torino.

Includes bibliographical references (p. 193-200).