TY - BOOK AU - De Rijke, Maarten TI - Diamond and defaults: studies in pure and applied intensiosnal logic edited by Maarten De Rijke SN - 0792323424 AV - QA 9.46 .D53 PY - 1993/// CY - London PB - Kluwer Academic pub KW - Modality(Logic) ER -