Together we know how to achieve: an epistemic logic of know-how (Q1711891): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2018.06.007
@@ Property / DOI: 10.1016/j.artint.2018.06.007 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2963238164
@@ Property / OpenAlex ID: W2963238164 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09349
@@ Property / arXiv ID: 1705.09349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolving distributed knowledge
@@ Property / cites work: Resolving distributed knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of cooperation and propositional control
+Normal rank
@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about coalitional games
@@ Property / cites work: Reasoning about coalitional games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994888
@@ Property / cites work: Q4994888 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculus of cooperation and game-based reasoning about protocol privacy
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Q5144683
@@ Property / cites work: Q5144683 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / 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 @@
+Q3384085
@@ Property / cites work: Q3384085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129653393
@@ Property / Wikidata QID: Q129653393 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2018.06.007
@@ Property / DOI: 10.1016/J.ARTINT.2018.06.007 / rank @@
+Normal rank