Towards a logic of “inferable” for self-aware transparent logical agents