@Inproceedings{EPTCS243.5,
  author    = {Bucheli, Samuel and Ghari, Meghdad and Studer, Thomas},
  year      = {2017},
  title     = {Temporal Justification Logic},
  editor    = {Ghosh, Sujata and Ramanujam, R.},
  booktitle = {{\rm Proceedings of the Ninth Workshop on}
               Methods for Modalities,
               {\rm Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {243},
  publisher = {Open Publishing Association},
  pages     = {59-74},
  doi       = {10.4204/EPTCS.243.5},
}