Back and forth between modal logic and classical logic (1995)

by H Andrika, J F A K van Benthem, I Nimeti
Venue:J. of the IGPL