Spahn modal logic (history)

February 25, 2013