AbstractLogic