Vollständige Systeme modaler und intuitionistischer Logik