Completed logics with exception handling