Back and Forth Between Modal Logic and Classical Logic

Hajnal Andréka, Johan van Benthem, István Németi. Back and Forth Between Modal Logic and Classical Logic. Logic Journal of the IGPL, 3(5):685-720, 1995. [doi]

Abstract

Abstract is missing.