Spinal stabilization devices, systems, and methods are described. In a first aspect, a foramenal spacer includes a rigid member adapted to maintain the integrity of the foramenal space. In a second aspect,
facet joint stabilizing members and prosthetic
facet joints are provided to augment or replace the native
facet joint. In a third aspect, lateral spinal stabilization systems are adapted to be attached to the lateral surfaces of adjacent vertebral bodies. In a fourth aspect, anterior spinal stabilization systems are adapted to be attached to the anterior surfaces of adjacent vertebral bodies. In a fifth aspect, several embodiments of dynamic spinal stabilization devices and systems are described. Each of the foregoing devices, systems, and methods is suitable for use independently, in combination with other devices, systems, and methods described herein, and / or in combination with prosthetic intervertebral discs known in the art.