Authors: ARTEMOV S KRUPSKI V

Citation: S. Artemov et V. Krupski, DATA-STORAGE INTERPRETATION OF LABELED MODAL LOGIC, Annals of pure and applied Logic, 78(1-3), 1996, pp. 57-71

Authors: ARTEMOV S BOOLOS G ENGELER E FEFERMAN S JAGER G VISSER A

Citation: S. Artemov et al., INVITED PAPERS PRESENTED AT THE CONFERENCE ON PROOF THEORY, PROVABILITY LOGIC, AND COMPUTATION - PREFACE, Annals of pure and applied Logic, 75(1-2), 1995, pp. 1-1

Authors: ARTEMOV S

Citation: S. Artemov, LOGIC OF PROOFS, Annals of pure and applied Logic, 67(1-3), 1994, pp. 29-59

Authors: ARTEMOV S MONTAGNA F

Citation: S. Artemov et F. Montagna, ON 1ST-ORDER THEORIES WITH PROVABILITY OPERATOR, The Journal of symbolic logic, 59(4), 1994, pp. 1139-1153