Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130): Difference between revisions

@@ Property / cites work @@
+A logic of objective and subjective oughts
@@ Property / cites work: A logic of objective and subjective oughts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417809
@@ Property / cites work: Q5417809 / rank @@
+Normal rank
@@ Property / cites work @@
+Memory and perfect recall in extensive games
@@ Property / cites work: Memory and perfect recall in extensive games / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
+Normal rank
@@ Property / cites work @@
+Deontic epistemic stit logic distinguishing modes of mens rea
+Normal rank
@@ Property / cites work @@
+Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency
+Normal rank
@@ Property / cites work @@
+Making a start with the stit logic analysis of intentional action
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Q5224910
@@ Property / cites work: Q5224910 / rank @@
+Normal rank
@@ Property / cites work @@
+ACTION TYPES IN STIT SEMANTICS
@@ Property / cites work: ACTION TYPES IN STIT SEMANTICS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic and its application to normative reasoning
+Normal rank
@@ Property / cites work @@
+A logical analysis of responsibility attribution: emotions, individuals and collectives
+Normal rank
@@ Property / cites work @@
+Together we know how to achieve: an epistemic logic of know-how
+Normal rank
@@ Property / cites work @@
+Decidability of an Xstit logic
@@ Property / cites work: Decidability of an Xstit logic / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity results of STIT fragments
@@ Property / cites work: Complexity results of STIT fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4244318
@@ Property / cites work: Q4244318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367284
@@ Property / cites work: Q3367284 / rank @@
+Normal rank
@@ Property / cites work @@
+Doing without nature
@@ Property / cites work: Doing without nature / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Knowing How
@@ Property / cites work: A Logic of Knowing How / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of goal-directed knowing how
@@ Property / cites work: A logic of goal-directed knowing how / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518432
@@ Property / cites work: Q4518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of \textit{stit} with \textit{ought} and \textit{know}
+Normal rank