共 44 条
[1]
Anderson A., 1975, ENTAILMENT LOGIC REL
[2]
Chellas B., 1980, MODAL LOGIC
[3]
Cresswell M., 1968, INTRO MODAL LOGIC
[4]
Cresswell Maxwell J, 1973, LOGICS LANGUAGES
[5]
Eberle R., 1974, SYNTHESE, V26, P356
[6]
Fagin R., 1984, 25th Annual Symposium on Foundations of Computer Science (Cat. No. 84CH2085-9), P268, DOI 10.1109/SFCS.1984.715925
[7]
FAGIN R, 1985, 17TH P ANN ACM S THE, P305
[8]
FAGIN R, 1985, P 9 INT JOINT C AI L, P491
[9]
GOLDWASSER S, 1985, 17 ACM S THEOR COMP, P291
[10]
HADLEY RF, 1986, LCCR TR863 S FRAS U