TY - RPRT TI - Tense logics based on posets AU - Ivan Chajda AU - Helmut Länger AU - Antonio Ledda AU - Jan Paseka AU - Gandolfo Vergottini PY - 2024 UR - https://arxiv.org/abs/2406.20034 ID - 2406.20034 ER -