Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A logical analysis of Monty Hall and Sleeping Beauty   Hintikka and Sandu's independence-friendly (IF) logic is a conservative
extension of first-order logic that allows one to consider semantic games with
imperfect information. In the present article, we first show how several
variants of the Monty Hall problem can be modeled as semantic games for IF
sentences. In the process, we extend IF logic to include semantic games with
chance moves and dub this extension stochastic IF logic. Finally, we use
stochastic IF logic to analyze the Sleeping Beauty problem, leading to the
conclusion that the thirders are correct while identifying the main error in
the halfers' argument.

29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
1
The categories of this paper are: cs
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom