Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1995-04:
Hajnal Andréka, Johan van Benthem, István Németi Back and Forth between Modal Logic and Classical Logic
1.Full Text.