Talk:Hennessy–Milner logic

Latest comment: 11 years ago by 189.178.41.71 in topic Work in progress

Work in progress

edit

I'm short on time right now but I will continue this article in a few days. Claim 12:20, 17 August 2007 (UTC)Reply

wait how do they derive negation from only these??? 128.200.83.67 (talk) 18:22, 20 November 2009 (UTC)Reply

the following equivalences hold
 
 
but you are right, it is not clear how to derive it from this set.
 
it should be possible to derive negation, but not clear enough. Because   where  , an invisible action may be needed. But I am not sure of that. I suppose it is possible, because I saw the same definition in some articles, but assumptions like   may be required, and I am not sure if it can be correct.
there is no problem if negation is introduced as it is also seen in several articles.
I am as busy as Claim was when starting this article, but I will do the needed changes when I can, and when I know more about this logic.
by now I will only fix the syntax! — Preceding unsigned comment added by 189.178.41.71 (talk) 15:41, 1 June 2013 (UTC)Reply