Re: [isabelle] paper discuss the implementation of temporal logic in isabelle

You may be interested in, which develops an encoding of a variant of linear-time temporal logic in Isabelle/HOL. Depending on what you want to do, you will need to decide on whether you want a shallow or deep encoding of the temporal logic you are interested in.

Best regards,

Stephan Merz

On May 29, 2012, at 3:31 PM, Abdullah wrote:

> Dear All
> I am looking for paper(s) talk about of temporal logic with isabelle,
> if you know please send to me the title of paper or link if it
> available on line.
> Best Regards,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.