A GABBAY-RULE FREE AXIOMATIZATION OF T X W VALIDITY (SEMANTICAL STRUCTURES)

Authors
DIMAIO MC ZANARDO A
Citation
Mc. Dimaio et A. Zanardo, A GABBAY-RULE FREE AXIOMATIZATION OF T X W VALIDITY (SEMANTICAL STRUCTURES), Journal of philosophical logic, 27(5), 1998, pp. 435-487
Citations number
12
Categorie Soggetti
Philosophy
Journal title
Journal of philosophical logic → ACNP
ISSN journal
00223611
Volume
27
Issue
5
Year of publication
1998
Pages
435 - 487
Database
ISI
SICI code
0022-3611(1998)27:5<435:AGFAOT>2.0.ZU;2-N