[Attempto] Attempto and formal logic

[Edmon Begoli]

Dear colleagues,

Is there an example of encoding of formal logic, including entailments and
modal logic,
in Attempto.

If so, please send me a link to an example and, if possible, tutorial.

Thank you,
Edmon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20130525/90e274b0/attachment.html>