Modal tableau calculi and interpolation (1983)

by Wolfgang Rautenberg
Venue:Journal of Philosophical Logic