Author:
Maksimova L. L.,Yun V. F.
Reference24 articles.
1. Maksimova L. L., “Restricted interpolation over modal logic S4,” Algebra Logic, vol. 52, no. 4, 308–335 (2013).
2. Craig W., “Three uses of the Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., vol. 22, 269–285 (1957).
3. Beth E. W., “On Padoa’s method in the theory of definitions,” Indag. Math. (N.S.), vol. 15, no. 4, 330–339 (1953).
4. Maksimova L., “Restricted interpolation in modal logics,” in: Advances in Modal Logic, vol. 4, King’s College, London (2003), 297–311.
5. Maksimova L., “Interpolation and joint consistency,” in: We Will Show Them! Essays in Honour of D. Gabbay, vol. 2, King’s College, London (2005), 293–305.