Re: Modal logic reasoning

Thanks everyone for your answers, it was very helpful. LB

Re: Modal logic reasoning

Dave, thanks for your answer. Do you mind completing it by answering the following points ? - Do you think modal operators behavior can be simulated thanks to custom builtins ? - What functionalities must be added to the general purpose engine to extend it into a modal reasonner ? - Even if it is