Vitalsource Technologies, Inc. Recent Trends in Philosophical Logic