A logic of sequences

Norihiro Kamide. A logic of sequences. Reports on Mathematical Logic, 46:29-57, 2011. [doi]

@article{Kamide11-3,
  title = {A logic of sequences},
  author = {Norihiro Kamide},
  year = {2011},
  url = {http://www.iphils.uj.edu.pl/rml/rml-46/03-Kamide.pdf},
  researchr = {https://researchr.org/publication/Kamide11-3},
  cites = {0},
  citedby = {0},
  journal = {Reports on Mathematical Logic},
  volume = {46},
  pages = {29-57},
}