Bonjour

Désolé si je ne suis pas sur le bon sous-forum, mais je ne sais pas trop où je devrais poster ça...

Est-ce que quelqu'un a déjà fait de la logique modale en java ? Est-ce que quelqu'un connait une classe, un package, une API quelconque pour faire de la logique modale en java ?

Merci de ne pas me renvoyer vers Prolog

Merci d'avance