Author:Stevenson, L; Britz, AA; Home, TDate:Dec 2008The modal satisfiability problem is solved either by using a specifically designed algorith, or by translating the modal logic formula into an instance of a different class of problem, or, more recently, a constraint satisfaction problem. In ...Read more