Expressive Functional Completeness in Tense Logic (Preliminary report)

Publisher Website

1 January 1981

book chapter
Published by Springer Nature

p. 91-117
https://doi.org/10.1007/978-94-009-8384-7_4

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

On the temporal analysis of fairness
Published by Association for Computing Machinery (ACM) ,1980
Do We Really Need Tenses Other Than Future and Past?
Published by Springer Nature ,1979