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:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 7
Results: 3
1
2
The ϱ-Calculus.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 7, p. 97, doi. 10.1002/malq.19810270702
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 7, p. fmi, doi. 10.1002/malq.19810270701
- Publication type:
- Article