Re: [isabelle] Quantifying over conditions



I don't know if this is precisely what you're looking for, but 
what you're asking for seems to have the flavour of modal logic:
http://en.wikipedia.org/wiki/Modal_logic
I don't know how easily this could be (or perhaps already has 
been) incorporated into Isabelle.  Perhaps someone else could 
address that question.

Timothy
<><

Attachment: signature.asc
Description: This is a digitally signed message part.



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