@misc{indiciae68a0a885399e,
  title = {Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover},
  author = {Paul Tarau},
  year = {2019},
  url = {https://arxiv.org/abs/1907.11838},
  note = {Source identifier: 1907.11838}
}