@misc{indiciae3bdf5360cea8,
  title = {Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities},
  author = {Marco Bernardo and Andrea Esposito},
  year = {2023},
  doi = {10.4204/eptcs.390.5},
  url = {https://arxiv.org/abs/2310.00998},
  note = {Source identifier: 2310.00998}
}