Computational logics related domains (1)