Q3384085 (Q3384085): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08759
@@ Property / arXiv ID: 1707.08759 / rank @@
+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 @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994888
@@ Property / cites work: Q4994888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+On the logic of cooperation and propositional control
+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 @@
+Calculus of cooperation and game-based reasoning about protocol privacy
+Normal rank
@@ Property / cites work @@
+Together we know how to achieve: an epistemic logic of know-how
+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 @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / 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 @@
+A Logic of Knowing How
@@ Property / cites work: A Logic of Knowing How / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3384085