> Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me I agree, and the correct terms ar

> Your usage of "premise" and "conclusion" as shorthands for "the state of the world at a time t" is somewhat confusing to me I agree, and the correct terms are "antecedent" and "consequent"; a premise is a type of antecedent, and a conclusion a type of consequent. But using those terms right away makes it harder to relate to formal arguments.