No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic

Dorit Pardo*, Alexander Rabinovich

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics