Formalizing Medieval Logical Theories

Presents formalizations of three important medieval logical theories - supposition, consequence and obligations - that are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games.