Eine vollstaendige Formalisierung der Aristotelischen   Notwendigkeitssyllogistik
  We give a complete and consistent formal interpretation of the modal logic of Aristotle as developped in his analytics. 
Holger Brenner