De la logique modale, un graphe qui définit des transitions possibles entre des mondes.

Avec un joli éditeur de graphe en prime !

Modal Logic Playground

Sign in to participate in the conversation

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!