I'm not aware of any that came close. I don't know if anyone tried to extend JESS for modal logic. If you want to discuss this further, feel free to email me directly.
peter On Thu, Aug 7, 2008 at 5:07 AM, Martijn Tromm <[EMAIL PROTECTED]> wrote: > Thanks for you answer and sorry for my late response. > Indeed I did mean modal logic, epistemic, alethic and deontic logic in > particular. I know it's complex, especially multi-dimensional modal logics. > > I was curious if any had attempted to extend jess with modal operators. > > You said you didn't know any successful general purpose modal logic engines, > but do you know any that come close or have support for a decidable fragment > of modal logic? > > regards, > Martijn > > -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
