Death of Pioneer of Temporal Logic

The New New York Times reports the death of Amir Pnueli, said to be a pioneer of temporal logic. See Kenneth Chang, "Amir Pnueli, Pioneer of Temporal Logic, Dies at 68," NYTimes (Nov. 14, 2009).

Temporal logic is very important or essential for analysis of fact investigation in or for litigation; fact investigation is a dynamic process.

&&&

The dynamic evidence page

It's here (more or less): the law of evidence on Spindle Law. See also this post.

Browser-based evidence marshaling: MarshalPlan in your browser