@misc{indiciaed7b8ddf5762f, title = {A Note on Parameterised Knowledge Operations in Temporal Logic}, author = {Vladimir Rybakov}, year = {2014}, url = {https://arxiv.org/abs/1405.0559}, note = {Source identifier: 1405.0559} }