Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid-Logical Reasoning in False-Belief Tasks   The main aim of the present paper is to use a proof system for hybrid modal
logic to formalize what are called falsebelief tasks in cognitive psychology,
thereby investigating the interplay between cognition and logical reasoning
about belief. We consider two different versions of the Smarties task,
involving respectively a shift of perspective to another person and to another
time. Our formalizations disclose that despite this difference, the two
versions of the Smarties task have exactly the same underlying logical
structure. We also consider the Sally-Anne task, having a somewhat more
complicated logical structure, presupposing a "principle of inertia" saying
that a belief is preserved over time, unless there is belief to the contrary.

30
The categories of this paper are: q-alg
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga