Cut-free double sequent calculus for S5 (1998)

by A Indrzejczak
Venue:LJIGPL