TY  - RPRT
TI  - Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
AU  - Vladimir Rybakov
PY  - 2014
UR  - https://arxiv.org/abs/1406.2783
ID  - 1406.2783
ER  -