Spectral Logic