@misc{indiciae024d60e4ae95,
  title = {Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results},
  author = {Francesco Belardinelli and Alessio Lomuscio},
  year = {2014},
  doi = {10.1613/jair.3547},
  url = {https://arxiv.org/abs/1401.5849},
  note = {Source identifier: 1401.5849}
}