|
Hi all,
I want to model the problem of philosophers
with black hat (proposed by Mc Carty). One way to solve this problem is
using a modal logic.
I would know if it is possible to define axioms of
a perticular logic with JESS.
thanks
Matthias
Mailliard
|
