Modal logic reasoning

[Gray Mail]

Hi everyone,

Is the general purpose rule engine suitable to infer rules using modal
logic ?

Thanks,
LB