Amda and Logic