constraints

What problem does it solve?

Formal constraint theory unifies deontic modalities, Juarrero's trichotomy, and Hohfeldian rights to model permissions, obligations, prohibitions, and governance constraints across domains such as ontology validation and agent authority.

Core Features & Use Cases

• Unifies deontic logic with Juarrero's trichotomy and Hohfeldian rights to formalize rule-based systems.
• Provides ontolog λ-calculus mappings and a compact CK framework for constraint composition and governance checks.
• Use Case: Model an organization's access control policy where enabling, governing, and constitutive constraints interact with rights and duties.

Quick Start

Use the constraints skill to define a basic enabling constraint for a manager to approve access requests.