Update Semantics for Imperatives with Priorities (Q3094001): Difference between revisions

@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-level perspective on preference
@@ Property / cites work: A two-level perspective on preference / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults in update semantics
@@ Property / cites work: Defaults in update semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Acts of Commanding and Changing Obligations
@@ Property / cites work: Acts of Commanding and Changing Obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Logical dynamics of some speech acts that affect obligations and preferences
+Normal rank