Re: A question for Mr. Celko
From: Marshall Spight <mspight_at_dnai.com>
Date: Sun, 18 Jul 2004 16:23:13 GMT
Message-ID: <RtxKc.109376$a24.27051_at_attbi_s03>
> That probably depends on your point of view. Calculi are usually much
> easier to reason about formally, and they would allow you to invoke the
> whole machinery that is available from research on temporal logics.
> Writing down such a logic/calculus would also be a good sanity check to
> see if (1) the algebra actually makes sense from a logical point of view
> and (2) if there are no obvious operators missing from the algebra.
Date: Sun, 18 Jul 2004 16:23:13 GMT
Message-ID: <RtxKc.109376$a24.27051_at_attbi_s03>
"Jan Hidders" <jan.hidders_at_REMOVETHIS.pandora.be> wrote in message news:pan.2004.07.18.13.17.46.586491_at_REMOVETHIS.pandora.be...
>
> That probably depends on your point of view. Calculi are usually much
> easier to reason about formally, and they would allow you to invoke the
> whole machinery that is available from research on temporal logics.
> Writing down such a logic/calculus would also be a good sanity check to
> see if (1) the algebra actually makes sense from a logical point of view
> and (2) if there are no obvious operators missing from the algebra.
Sigh. So much for me to learn.
Care to recommend some reading material?
Marshall Received on Sun Jul 18 2004 - 18:23:13 CEST