Standard Deontic Logic (SDL)
Normal deontic logic KD: monadic obligation over serial Kripke frames, with permission defined by duality.
Deontic 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.