Vitalsource Technologies, Inc. Formal Methods For Nonmonotonic And Related Logics