and forth between modal logic and classical logic (1995)

by H Andréka, J van Benthem, I Németi, Back
Venue:Journal of the IGPL