Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change (Q803117)

This paper continues the first part [ibid. 31, No.3, 403-414 (1990; Zbl 0718.03018)]. It extends the area of agreement between instant and interval temporal structures described in the first paper, and discusses some natural ``logics of change'' resulting from this unified semantics. The most interesting of these, and it seems the one favored by the author, he describes as a natural dual to the logic described by \textit{Y. Gurevich} [Stud. Logica 36, 49-59 (1977; Zbl 0366.02015)] and \textit{R. H. Thomason} [Z. Math. Logik Grundlagen Math. 15, 247-257 (1969; Zbl 0181.009)]. Whereas that logic is consistent but not complete with respect to strong negation, the one arrived at here is complete but not consistent. The author notes the closeness between this system and the ``dialectical'' or paraconsistent logic of change proposed by \textit{G. Priest} [Stud. Logica 41, 249-268 (1982; Zbl 0536.03006)].