Self-checking Logical Agents