Modality > Docs

Solutions Resources

Overview
- FAQs
- Get Started
By Example
CLI
- create
- commit
- query
- info
- log
- push
- pull
- pack
- unpack
- extract
- gen-keypair
Modality
Concepts
- Temporal Modal Logic
- Kripke Machine

Overview

Modality Docs

Welcome!

Modality is an open standard for the specification and programmatic use of contractual agreements.

The interaction of rules, models, and actions in Modality. Players commit rules, models, and actions. Rules specify models while models satisfy rules.

On this page

Welcome!

Community

GitHub