First-order Expressivity for S5-models: Modal vs. Two-sorted Languages Holger SturmFrank Wolter OriginalPaper Pages: 571 - 591