Recent changes to bugshttps://sourceforge.net/p/molle/bugs/2011-08-27T09:01:04ZRecent changes to bugsproof in S42011-08-27T09:01:04Z2011-08-27T09:01:04ZAnonymoushttps://sourceforge.net/u/userid-None/https://sourceforge.net408ad603ced166a432cb88e831f7511c6b8a010f<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 <=> [] A<br />
I wrote: KT4 implies the theorem<br />
( ([](A=>B)=>([]A=>[]B)) & ([]A=> A) & ([]A=>[][]A)) => ([]A<=>[][][][]A)<br />
It does not prove.<br />
What I did wrong?<br />
alvaroanjo@gmail.com</p></div>