https://sourceforge.net/p/molle/bugs/Recent changes to bugsenSat, 27 Aug 2011 09:01:04 -0000https://sourceforge.net/p/molle/bugs/1/<div class="markdown_content"><p>I am studying Modal Logic.<br /> So I turned my attention to Molle.<br /> I have tried to prove a theorem in S4 <br /> []...[]A &lt;=&gt; [] A<br /> I wrote: KT4 implies the theorem<br /> ( ([](A=&gt;B)=&gt;([]A=&gt;[]B)) &amp; ([]A=&gt; A) &amp; ([]A=&gt;[][]A)) =&gt; ([]A&lt;=&gt;[][][][]A)<br /> It does not prove.<br /> What I did wrong?<br /> alvaroanjo@gmail.com</p></div>AnonymousSat, 27 Aug 2011 09:01:04 -0000https://sourceforge.net408ad603ced166a432cb88e831f7511c6b8a010f