共 12 条
[2]
Barwise J, 1996, CSLI LECT NOTES, V60
[3]
BLACKBUM P, 2001, MODAL LOGIC CAMBRIDG, V53
[4]
de Jongh, 1968, THESIS U WISCONSIN M
[5]
Fine K., 1975, Notre Dame Journal of Formal Logic, V16, P229, DOI 10.1305/ndjfl/1093891703
[7]
KOZEN D, 1981, ELEMENTARY PROOF COM, P113
[8]
LEMMON EJ, AM PHILOS Q MONOGRAP, V11
[9]
MAKINSON D, MATH REV, V51