real logics