Very much so. There are a number of small industries centred around studying equivalence classes of knot diagrams generated by a set of moves.

1. The study of [claspers][1]. For example, $C_k$-moves are a special type of clasper surgeries. MathSciNet indicates [123 citations][2] for Habiro's fundamental paper _Claspers and finite type invariants of links_, providing some coarse measure of the vitality of the topic.

2. Replacing one rational tangle in a knot diagram by another generates an equivalence relation which has been deeply studied using [quandles][3]. See _e.g._ [J. Przytycki's introductory lectures][4].

3. Dehn surgery, where the surgery curve is required to belong to some specified part of a knot group or link group (in the kernel of its representation to some fixed group, for instance) generates equivalence relations on knot diagrams modulo combinatorial "twisting" moves, which have been studied by Cochran-Orr-Gerges, and (excuse the self promotion) by myself and Andrew Kricker, and by Litherland and Wallace. The techniques for studying these equivalence relations have been topological rather than combinatorial.

4. There are a number of setting in which one allows Reidemeister moves plus some crossing changes, but not others. In the theory of [finite type invariant][5], one fixes a some crossings (considers them in resolutions of "double points"), and allows crossing changes away from them. The equivalence classes are detected by the finite-type invariant of type the number of "fixed" crossings. In a similar-sounding vein, a free virtual knot is a virtual knot where we allow crossing changes away from virtual crossings. They have a rich theory- see _e.g._ [this Manturov paper][6].


  [1]: https://en.wikipedia.org/wiki/Clasper_(mathematics)
  [2]: https://mathscinet.ams.org/mathscinet-getitem?mr=1735632 "Geom. Topol. 4, 1-83 (2000), doi:10.2140/gt.2000.4.1, EuDML:120433, available at https://www.emis.de/journals/UW/gt/GTVol4/paper1.abs.html. zbMATH review at https://zbmath.org/0941.57015"
  [3]: https://en.wikipedia.org/wiki/Racks_and_quandles
  [4]: https://arxiv.org/abs/math/0405248 "Przytycki, Józef H. From 3-moves to Lagrangian tangles and cubic skein modules. Bryden, John M. (ed.), Advances in topological quantum field theory. Proceedings of the NATO Advanced Research Workshop on new techniques in topological quantum field theory, Kananaskis Village, Canada, August 22–26, 2001. Dordrecht: Kluwer Academic Publishers. NATO Science Series II: Mathematics, Physics and Chemistry 179, 71-125 (2004). zbMATH review at https://zbmath.org/1114.57008"
  [5]: https://en.wikipedia.org/wiki/Finite_type_invariant
  [6]: https://doi.org/10.1090/S0077-1554-2012-00188-5 "Manturov, V. O. Parity, free knots, groups, and invariants of finite type. Trans. Mosc. Math. Soc. 2011, 13 p. (2011); translation from Tr. Mosk. Mat. O.-va 2011, No. 1, 157-169 (2011). zbMATH review at https://zbmath.org/1246.57019"