ReducingModal Consequence Relations

by Marcus Kracht
Venue:Journal of Logic and Computation