Authors: BIRO B SAIN I

Citation: B. Biro et I. Sain, PEANO ARITHMETIC AS AXIOMATIZATION OF THE TIME FRAME IN LOGICS OF PROGRAMS AND IN DYNAMIC LOGICS, Annals of pure and applied Logic, 63(3), 1993, pp. 201-225