Displaying the Modal Logic of Consisteny (1999)

by H Wansing
Venue:Journal of Symbolic Logic