Spatio-temporal relevant logic as the logical basis for spatio-temporal information systems

To specify, verify, and reason about spatio-temporal knowledge, we need a right fundamental logic system to provide us with a criterion of logical validity for reasoning as well as a formal representation and specification language. In order to reason out new spatio-temporal knowledge with incomplete or sometime even inconsistent knowledge, 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. This paper proposes a new family of relevant logic, named "spatio-temporal relevant logic," and shows that it is a hopeful candidate for the fundamental logic to underlie specifying, verifying, and reasoning about spatio-temporal knowledge