Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.