Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-57351-9_40
+Normal rank
@@ Property / OpenAlex ID @@
+W2605825877
@@ Property / OpenAlex ID: W2605825877 / 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 @@
+Quantified coalition logic
@@ Property / cites work: Quantified coalition logic / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Coalition Logic
@@ Property / cites work: Higher-Order Coalition Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about coalitional games
@@ Property / cites work: Reasoning about coalitional games / rank @@
+Normal rank
@@ Property / cites work @@
+A computationally grounded logic of visibility, perception, and knowledge
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about knowledge of unawareness
+Normal rank