Labelled Non-Classical Logics (2000)

by L Viganò
Venue:Advances in Modal Logic. CSLI