Pages that link to "Item:Q846527"
From MaRDI portal
The following pages link to Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527):
Displayed 9 items.
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- Jerzy Kalinowski's logic of normative sentences revisited (Q2352460) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification (Q3095236) (← links)
- Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (Q5170187) (← links)