Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 7

Results: 3

  • The ϱ-Calculus.

    Published in:
    Mathematical Logic Quarterly, 1981, v. 27, n. 7, p. 97, doi. 10.1002/malq.19810270702
    By:
    • Jones, C. K. R. T.;
    • Kelemen, P. J.
    Publication type:
    Article

  • Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.

    Published in:
    Mathematical Logic Quarterly, 1981, v. 27, n. 7, p. 111, doi. 10.1002/malq.19810270703
    By:
    • Makinson, David
    Publication type:
    Article

  • Masthead.

    Published in:
    Mathematical Logic Quarterly, 1981, v. 27, n. 7, p. fmi, doi. 10.1002/malq.19810270701
    Publication type:
    Article