Uckelman, S. L. Interactive Logic in the Middle Ages. LLP 2012, 21, 439–471.