Spatio-temporal relevant logic as the logical basis for specifying, verifying, and reasoning about mobile multi-agent systems

To specify, verify, and reason about mobile multi-agent systems, we need a fundamental logic system to provide us with a criterion of logical validity as well as a representation and specification language. Because design and development of mobile multi-agent systems primarily concern that what decisions and how the decisions can be made by mobile agents with incomplete or even inconsistent knowledge acting concurrently in spatial regions changing over time, the fundamental logic must be able to underlie truth-preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, paraconsistent reasoning, spatial reasoning, and temporal reasoning. Since no existing logic system can satisfy the requirements, this paper proposes a new family of logic, named "spatio-temporal relevant logic," and shows that it is a hopeful candidate for the fundamental logic we need.