Labelled deduction/ edited by David Basin ... [et al.] - Dordrecht: Kluwer Academic Publishers, c2000 - xi, 266 p., ill.; 25 cm. - Applied logic series, v. 17 .

0792362373


Modality (Logic)

162