TY  - RPRT
TI  - A Presheaf Semantics for Quantified Temporal Logics
AU  - Fabio Gadducci
AU  - Davide Trotta
PY  - 2022
UR  - https://arxiv.org/abs/2111.03855
ID  - 2111.03855
ER  -