Vollständige S4 modale Logiken mit der endlichen birelationalen Rahmen-Eigenschaft

Beweis der endlichen Rahmen-Eigenschaft für CS4, IS4, GS4, GS4c und S4I.