Hybrid-logical reasoning in the Smarties and Sally-Anne tasks (Q2258816): Difference between revisions

@@ Property / OpenAlex ID @@
+W2065522993
@@ Property / OpenAlex ID: W2065522993 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6435
@@ Property / arXiv ID: 1310.6435 / rank @@
+Normal rank
@@ Property / cites work @@
+Methods of cut-elimination
@@ Property / cites work: Methods of cut-elimination / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Seligman-Style Tableau System
@@ Property / cites work: A Seligman-Style Tableau System / rank @@
+Normal rank
@@ Property / cites work @@
+Don't eliminate cut
@@ Property / cites work: Don't eliminate cut / rank @@
+Normal rank
@@ Property / cites work @@
+Two natural deduction systems for hybrid logic: A comparison
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Taming of the Cut. Classical Refutations with Analytic Cut
+Normal rank
@@ Property / cites work @@
+Children's application of theory of mind in reasoning and language
+Normal rank
@@ Property / cites work @@
+Operators vs. arguments: The ins and outs of reification
+Normal rank
@@ Property / cites work @@
+An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system
+Normal rank
@@ Property / cites work @@
+Q4440307
@@ Property / cites work: Q4440307 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Languages in Logic
@@ Property / cites work: Formal Languages in Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845456
@@ Property / cites work: Q4845456 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for computer scientists
@@ Property / cites work: Logic for computer scientists / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394920
@@ Property / cites work: Q4394920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+My beliefs about your beliefs: a case study in theory of mind and epistemic logic
+Normal rank