Deontic Defeasible Description Logic (3DL)
Defeasible ALC with normative obligations, permissions, and independent expectation/ideality rankings; minimal entailment is EXPTIME-complete.
Deontic Description LogicsThe directory29 published entries
Welcome to LogicalZoo
Explore formal logics, their expressive power, and their relationships. A growing reference guide from syntax and semantics to decidability and complexity.