Dyadic Deontic Logic (Conditional Obligation)
A family of conditional obligation logics with primitive O(consequent | condition), often interpreted by optimal condition-worlds.
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.
Find a logic
Search results
2 entriesDescription Logic Programs (DLP)
An expressive intersection of description logics and Horn logic programming, permitting rule–ontology translations without arbitrary disjunctive/existential heads.
Description Logics and Rule Systems