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

by H Andréka, J van Benthem, I Németi
Venue:Institute for Logic, Language and Computation