Hey, Bill Wadge was a prof of mine! It was a topics in Artificial Intelligence course just before the Deep Learning boom. It was all about entailment and modal logics and frankly seemed really out of date. It was interesting, however.