The Gallery
Temporal logic
Nuel Belnap
Georg Henrik von Wright
1