Semantics-based translation methods for modal logics (1991)

by H J Ohlbach
Venue:Journal of Logic and Computation