# Self-checking Logical Agents

arXiv: https://arxiv.org/abs/2111.05157 · HTML: https://mlsanity.com/paper/2111.05157/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 70 references that are in the map.
- First posted on arXiv 9 Nov 2021.

## Built on by (most cited first, 1 of 1)

- [Ensuring trustworthy and ethical behaviour in intelligent logical agents](https://mlsanity.com/paper/2402.07547/) (2024)

## Abstract (arXiv)

This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified by using an agent-oriented interval temporal logic defined to this purpose. We define syntax, semantics and pragmatics for this new logic, specifically tailored for application to agents. In the resulting framework, we encompass and extend our past work.