Formal Methods for Nonmonotonic and Related Logics : Vol I

Truth and Knowledge

Formal Methods for Nonmonotonic and Related Logics : Vol II

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II : Vol. I : Preference and Size / Vol. II

Coherent Systems