Pages that link to "Item:Q3356299"
From MaRDI portal
The following pages link to Temporal Reasoning over Deontic Specifications (Q3356299):
Displaying 14 items.
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- Towards specifying norms (Q1353845) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Deontic database constraints, violation and recovery (Q1922825) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (Q3623815) (← links)
- Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
- Temporal agent programs (Q5940961) (← links)
