Authors: ARTEMOV S KRUPSKI V

Citation: S. Artemov et V. Krupski, DATA-STORAGE INTERPRETATION OF LABELED MODAL LOGIC, Annals of pure and applied Logic, 78(1-3), 1996, pp. 57-71