<div dir="ltr">Dear colleagues,<div><br></div><div style>Is there an example of encoding of formal logic, including entailments and modal logic,</div><div style>in Attempto.</div><div style><br></div><div style>If so, please send me a link to an example and, if possible, tutorial.</div>

<div style><br></div><div style>Thank you,</div><div style>Edmon</div></div>