Learn To Use L4

1. Propositional Logic

Understand how to encode propositional logic

2. Deontic and Temporal Logic

Understand how to encode deontic and temporal logic

3. The PDPA

Understand how propositional, deontic and temporal logic come together with actual legislation

4. Exercise

An exercise to quickly learn L4 syntax.

Use Law to Understand L4

Use your training in Law to learn how L4 works.

Read the examples in order

The examples here are meant to be read in this order:

1. Must Sing Rule Example,

2. Home Insurance Clause Example,

3. Contract As Automaton Example,

4. Motor Insurance Clause Example,

5. Data Breach Notification Example.

On this page, they have been arranged starting from the top left and ending at the bottom right.

There are also exercises that you can use to practice writing in L4.