Anti-prenexing and Prenexing for Modal Logics.

Cludia Nalon, Clare Dixon

Browse the full JELIA paper archive.