What is Hennessy-Milner Logic and Where Can I Find References?

  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Logic
Dragonfall
Messages
1,023
Reaction score
5

Homework Statement


What is Hennessy-Milner logic? I need references asap. Wikipedia is empty.


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
The wikipedia page is not completely empty. I did a google search using "Hennessy-Milner Logic" and found a lot of references, some of which might be helpful to you.
 

Thread 'Finding the nth roots of a complex number'

There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
View full post »

Similar threads

Drawing a labelled transition system (LTS)
Replies
2
Views
2K
Doubting Logic: Boolean Matrix Homework Help
Replies
6
Views
3K
How can we prove that A is less than or equal to B using only one element of S?
Replies
4
Views
1K
How to Interpret the Basic Logic Problem with Predicate P(x,y,z)
Replies
2
Views
1K
Show that two quantified statements are logically equivalent
Replies
6
Views
2K
Logic Behind a Proof: Injective Function G
Replies
1
Views
1K
Deduction of ##\forall x \in S \cup T (x \le b)## using first order logic rules.
Replies
3
Views
964
I Axioms of Fuzzy Logic
Replies
7
Views
1K
A What are your insights on The Hardest Logic Puzzle Ever?
Replies
2
Views
2K
Negation Problem Homework Help
Replies
3
Views
1K

Hot Threads

Recent Insights

Back
Top