X-2022-01: Balder ten Cate Lyndon Interpolation for Modal Logic via Type Elimination Sequences 1.Full Text, 2.Abstract. < Back
