Devices and surgical methods treat various types of adult spinal pathologies, such as degenerative spondylolisthesis, spinal stenosis, degenerative lumbar scoliosis, and kyphoscoliosis. Various types of spinal joint replacement prostheses, surgical procedures for performing spinal joint replacements, and surgical instruments are used to perform the surgical procedures.