|
|
|
Volumn 15, Issue 3-4, 1991, Pages 235-254
|
|
Many-valued modal logics
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
KRIPKE MODELS;
MODAL LOGICS;
SEQUENT CALCULI;
COMPUTER METATHEORY;
|
|
EID: 0026257988
PISSN: 00162736
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
|
Times cited : (185)
|
|
References (13)
|
