Fibred modal tableaux

Authors
Gabbay, DM Governatori, G
Citation
Dm. Gabbay et G. Governatori, Fibred modal tableaux, APPL LOG S, 17, 2000, pp. 161-191
Categorie Soggetti
Current Book Contents","Current Book Contents
Journal title
LABELLED DEDUCTION → ACNP
Volume
17
Year of publication
2000
Pages
161 - 191
Database
ISI
SICI code