Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Hennessy-Milner Logic

  1. Oct 17, 2008 #1
    1. The problem statement, all variables and given/known data
    What is Hennessy-Milner logic? I need references asap. Wikipedia is empty.


    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Oct 17, 2008 #2

    Mark44

    Staff: Mentor

    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.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook