共 50 条
- [24] A 1ST STEP TOWARDS AUTOEPISTEMIC LOGIC PROGRAMMING COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (05): : 419 - 441
- [26] A NOTE ON THE INTERPOLATION THEOREM IN 1ST ORDER LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 215 - 218
- [28] A NOTE ON THE COMPACTNESS THEOREM IN 1ST ORDER LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (02): : 111 - 113
- [30] UNIVERSAL 1ST ORDER DEFINABILITY IN MODAL LOGIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 327 - 330