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