-
Let’s consider the sentence “I am hungry.” The meaning of this sentence remains constant regardless of the passage of time, but its truth value changes over time. It can be true at one point and false at another point. However, it is not possible for it to be both true and false at the same time. Temporal logic deals with sentences whose truth value changes with time. Non-temporal logic can only handle sentences whose truth value does not change over time.
-
-
Temporal logic always has the ability to make judgments about temporal sequences. Linear Time Logic is a type of temporal logic that is limited to this kind of reasoning. Branching Logic can make judgments about multiple timelines. This assumes an environment that exhibits unpredictable behavior. Moreover, in Branching Logic, it is possible to express sentences such as “There is a possibility that I will remain hungry forever.” It is also possible to express sentences such as “There is a possibility that I will no longer be hungry.” If it is unknown whether “I” can get food, both of these sentences are true.
-
Is it like a branch of logic that takes into account the timeline?
-
It is strictly based on a single timeline.