Craig's interpolation theorem for modal logics

• 1 January 1972
• book chapter
• Published by Springer Nature
• p. 111-127
• https://doi.org/10.1007/bfb0059541

Abstract