Tense logics based on posets | Synapse