Title: Logic of Autonomy