Pages that link to "Item:Q5406121"
From MaRDI portal
The following pages link to Obligations with deadlines: a formalization in Dynamic Deontic Logic (Q5406121):
Displaying 11 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A dynamic approach to temporal normative logic (Q1679791) (← links)
- Conditional obligation and positive permission for agents in time (Q2718310) (← links)
- Time Is Up! – Norms with Deadlines in Action Languages (Q2851972) (← links)
- Temporal Reasoning over Deontic Specifications (Q3356299) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- Commands changing obligations 1 (Q5222680) (← links)
- A temporal dynamic deontic logic (Q5222688) (← links)
- Logics in Artificial Intelligence (Q5394135) (← links)
- Deontic Logic in Computer Science (Q5901580) (← links)
- Deontic Logic in Computer Science (Q5901592) (← links)