Tense Logic of K
the transitive constraint tau is best suited for tense logic K since humans tend to interpret time as transitive
the symmetry constraint sigma is best suited for tense logic K since in the B-Series version of time, time is bi or omni directional not mono