AbstractLogica