Q5015396 (Q5015396): Difference between revisions

@@ Property / cites work @@
+An internal version of epistemic logic
@@ Property / cites work: An internal version of epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic
+Normal rank
@@ Property / cites work @@
+Epistemic planning for single- and multi-agent systems
+Normal rank
@@ Property / cites work @@
+Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the tractability border in epistemic tasks
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503944
@@ Property / cites work: Q4503944 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On the parameterized complexity of multiple-interval graph problems
+Normal rank
@@ Property / cites work @@
+Children's application of theory of mind in reasoning and language
+Normal rank
@@ Property / cites work @@
+Describing parameterized complexity classes
@@ Property / cites work: Describing parameterized complexity classes / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744910
@@ Property / cites work: Q2744910 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariance Properties of Quantifiers and Multiagent Information Exchange
+Normal rank
@@ Property / cites work @@
+Logic and Complexity in Cognitive Science
@@ Property / cites work: Logic and Complexity in Cognitive Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational analysis, intractability, and the prospects of `as if'-explanations
+Normal rank
@@ Property / cites work @@
+Intractability and the use of heuristics in psychological explanations
+Normal rank
@@ Property / cites work @@
+Logic and social cognition. The facts matter, and so do computational models
+Normal rank