Title: Mehrsortige logische Systeme mit unendlich langen Formeln