Pages that link to "Item:Q2639845"

The following pages link to Deontic logic and possible worlds semantics: A historical sketch (Q2639845):

Displaying 3 items.

• The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
• Possible worlds in use (Q647416) (← links)
• A trace-based model for multiparty contracts (Q764380) (← links)