Simulation and transfer results in modal logic – a survey (1997)

by M Kracht, F Wolter
Venue:Studia Logica