Skip to content
L4 documentation

Quickstart

  • Quickstart
  • Quickstart: Getting orientated in the L4 spreadsheet user interface
  • Why use L4?

Learn To Use L4

  • Learn To Use L4
  • 1. Propositional Logic Examples
  • 2. Deontic and Temporal Logic Examples
  • 3. Data Breach Notification Example
  • Use Law to Understand L4

L4 Language Reference

  • L4 Language Reference
  • Exporting L4
  • List of Keywords in L4
  • L4 Language Specification
  • Publications

Philosophy Behind L4's Design

  • Philosophy Behind L4’s Design
  • Conceptual FAQ
  • How L4 Approaches Law
  • How L4 Addresses Problems in Computational Law
  • Functionally Enhanced Flowcharts and Law

L4 Developers

  • L4 Backend Setup Instructions
  • Conceptual Explanation of the Backend
  • 1. Webtool Setup Instructions
  • 2. Google Sheets Setup Intructions
  • 3. Compiling an Edited L4 Spreadsheet
  • 4. Security Considerations

About & Contact Us

  • About & Contact Us
  • Acknowledgements
L4 documentation /Acknowledgements

Acknowledgements¶

This research / project is supported by the National Research Foundation, Singapore under its Industry Alignment Fund – Pre-positioning (IAF-PP) Funding Initiative. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not reflect the views of National Research Foundation, Singapore.

© 2023, SMU CCLAW, Made with Sphinx 5.3.0