Combinations of stit and actions (Q616041): Difference between revisions

@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+Normal rank
@@ Property / cites work @@
+Q4211441
@@ Property / cites work: Q4211441 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Causation: <i>Causae Causantes</i> (Originating Causes) as Inus Conditions in Branching Space-Times
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+A STIT-Extension of ATL
@@ Property / cites work: A STIT-Extension of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3400789
@@ Property / cites work: Q3400789 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of ability
@@ Property / cites work: On the logic of ability / rank @@
+Normal rank
@@ Property / cites work @@
+Acting, Events and Actions
@@ Property / cites work: Acting, Events and Actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5387552
@@ Property / cites work: Q5387552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629247
@@ Property / cites work: Q3629247 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509047
@@ Property / cites work: Q3509047 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Causation
@@ Property / cites work: Causation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509070
@@ Property / cites work: Q3509070 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional \(\text Q\)-logic
@@ Property / cites work: Propositional \(\text Q\)-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Events in branching time
@@ Property / cites work: Events in branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518432
@@ Property / cites work: Q4518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Causation in branching time. I: Transitions, events and causes
+Normal rank
@@ Property / cites work @@
+Axioms for deliberative stit
@@ Property / cites work: Axioms for deliberative stit / rank @@
+Normal rank