The Wagner Logic