Pages that link to "Item:Q4931571"
From MaRDI portal
The following pages link to Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra (Q4931571):
Displaying 11 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- 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)
- A deontic logic of action (Q792312) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- A systematics of deontic action logics based on Boolean algebra (Q3081995) (← links)
- Open Reading and Free Choice Permission: A Perspective in Substructural Logics (Q3305689) (← links)
- On deontic action logics based on Boolean algebra (Q3450208) (← links)
- (Q3520323) (← links)
- Deontic Logics Based on Boolean Algebra (Q4982653) (← links)