Spinal stabilization devices, systems, and methods are described. Foramenal spacers including a rigid member adapted to maintain the integrity of the foramenal space. Facet joint stabilizing members and prosthetic facet joints that augment or replace the native facet joint are also described. Lateral spinal stabilization systems that may be attached to the lateral surfaces of adjacent vertebral bodies are described. Also described are anterior spinal stabilization systems that are to be attached to the anterior surfaces of adjacent vertebral bodies. Several variations of dynamic spinal stabilization devices and systems are described. Each of the foregoing devices, systems, and methods may be used independently, in combination with the other devices, systems, and methods described herein, and/or in combination with prosthetic intervertebral discs.