Version 0.8 About

I/O Logics Workbench

Normative scenario editor

Input

Norms (if using preferred output, earlier norms in this list have preference over later norms)

Constraints

Output/Output set (required for output checking, automatically populated when generating the output set)

Result:

Formulas are constructed via & (conjunction), | (disjunction), ~ (negation) and parentheses. There are no binding preferences between conjunction and disjunction, so they have to be properly parenthesised. Atomic propositions are any sequence of letters, e.g. a, abc or veryLongNameForMyAtomicProposition. The literals T and F are interpreted as truth and falsehood, respectively. An example formula is x & (c | d) & ~e.

I/O Logics Workbench

Examples (Click on buttons to load)

Out operations

Parameters

Normative scenario editor