Wagner Logic