|
Volumn 1113, Issue , 1996, Pages 167-179
|
A modal logic for data analysis
a |
Author keywords
[No Author keywords available]
|
Indexed keywords
FORMAL LOGIC;
MACHINERY;
INCOMPLETE INFORMATION;
KRIPKE FRAMES;
MODAL LOGIC;
COMPUTER CIRCUITS;
|
EID: 84947913636
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-61550-4_146 Document Type: Conference Paper |
Times cited : (9)
|
References (13)
|