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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-28412-0_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2159636735
@@ Property / OpenAlex ID: W2159636735 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2890324