DevoirDire od Jason

DevoirDire is a tool for authoring, checking, and managing formal logic documents, reducing ambiguity wherever rules, obligations and requirements must be stated precisely: law and policy, contracts, standards and specifications, or logic coursework.

Author formulas using predicate logic, quantifiers, equality, and deontic (Obligation/Permission/Prohibition) and temporal (Always/Eventually/Until) operators, built up node-by-node with a guided formula builder - no need to hand-write JSON or learn a text syntax.

Check your document three ways:

• Consistency: are these formulae simultaneously satisfiable?
• Validity: does a chosen conclusion follow from the rest?
• Soundness: is that argument valid and backed by a bundled fact store?

Deontic and temporal reasoning is opt-in per check, evaluated over a configurable, bounded set of possible worlds - every hedge and limitation is disclosed plainly in the results, never glossed over.

Manage documents locally: import, export, create, edit, restructure, and save dated revisions, all stored on your device. Nothing leaves your device unless you turn on shared editing, which is off by default.

Edit together (optional): host a document and invite others over a direct browser-to-browser link, with no server in between. Everyone confirms a safety number first, you choose who may edit, and every change is recorded as a revision.

Exercises holds Guided exercises, auto-graded problems where students judge or build formula answers using the same checking engine as the main editor, and after the last listed one it keeps posing fresh generated problems, with progress kept per type. The Logic Gym adds timed drills and duels, starting at its Academy, and Author Exercises lets you write your own.

Keyboard and controller: everything is reachable with the keyboard, and single-key shortcuts for Exercises, the Documents list and the editor can be rebound or turned off (press ? to list them). Game controller support is optional, off until you switch it on in Preferences, and so far tried only with a simulated pad.

Available in English (Canadian), French (Canadian), German, Italian, Japanese, Spanish, Simplified Chinese and Hindi.