Towards a First-Order Deontic Action Logic (Q2890324): Difference between revisions

@@ Property / cites work @@
+Deontic action logic, atomic Boolean algebras and fault-tolerance
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Q5661849
@@ Property / cites work: Q5661849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal theories as modularisation units for concurrent system specification
+Normal rank
@@ Property / cites work @@
+A deontic logic of action
@@ Property / cites work: A deontic logic of action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
+Normal rank