Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size / by Karl Schlechta.
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory...
Full description
Saved in: