Modality
>
Docs
Solutions
Resources
ContractNexus
Overview
FAQs
Get Started
By Example
Create your Keys
Sign an Agreement
Unpack a Contract File
Sync a Contract Repo
CLI
create
commit
query
info
log
push
pull
pack
unpack
extract
gen-keypair
Modality
Rules and Models
Necessity and Possibility
Can and Must
Fixed Point Operators
Always, Eventually, and Until
Concepts
Temporal Modal Logic
Kripke Machine
Modality
Always, Eventually, and Until
Previous
← Fixed Point Operators
Modality
ContractNexus