What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...) contingents. (shrink)