The IfCoLog Journal of Logics and their Applications