Towards a Model Theory of Ordered Logics: Expressivity and Interpolation.

Bartosz Bednarczyk, Reijo Jaakkola

Browse the full MFCS paper archive.