Talk:Hennessy–Milner logic
Appearance
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||
|
Work in progress
I'm short on time right now but I will continue this article in a few days. Claim 12:20, 17 August 2007 (UTC)
wait how do they derive negation from only these??? 128.200.83.67 (talk) 18:22, 20 November 2009 (UTC)
- 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)