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

Results: 3

    • 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

    • 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

    • Masthead.

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