@misc{indiciae2105a7aaeffe,
  title = {Guarded Successor: A Novel Temporal Logic},
  author = {Ohad Asor},
  year = {2024},
  url = {https://arxiv.org/abs/2407.06214},
  note = {Source identifier: 2407.06214}
}