There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 20

Record: found
Abstract: not found
Conference Proceedings: not found

On the temporal analysis of fairness

Jonathan Stavi, Amir Pnueli, Saharon Shelah … (1980)

0 comments Cited 67 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The Monadic Theory of Order

Saharon Shelah (1975)

0 comments Cited 42 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Temporal Logic

Nicholas Rescher, Alasdair Urquhart (1971)

0 comments Cited 30 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1984

Pages: 89-133

DOI: 10.1007/978-94-009-6259-0_2

SO-VID: c7d00eae-0522-4f85-b118-596091208ac9

History

Data availability:

Basic Tense Logic

Read this book at

Related collections

Karger: Cardiovascular System

Most cited references 20

On the temporal analysis of fairness

The Monadic Theory of Order

Temporal Logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,359

Cited by 16