@misc{indiciaed75994e647cb,
  title = {Axiomatization and complexity of modal logic with knowing-what operator on model class K},
  author = {Yifeng Ding},
  year = {2016},
  url = {https://arxiv.org/abs/1609.07684},
  note = {Source identifier: 1609.07684}
}