Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Revisable Justified Belief: Preliminary Report   The theory $\mathsf{CDL}$ of Conditional Doxastic Logic is the single-agent
version of Board's multi-agent theory $\mathsf{BRSIC}$ of conditional belief.
$\mathsf{CDL}$ may be viewed as a version of AGM belief revision theory in
which Boolean combinations of revisions are expressible in the language. We
introduce a theory $\mathsf{JCDL}$ of Justified Conditional Doxastic Logic that
replaces conditional belief formulas $B^\psi\varphi$ by expressions
$t{\,:^{\psi}}\varphi$ made up of a term $t$ whose syntactic structure suggests
a derivation of the belief $\varphi$ after revision by $\psi$. This allows us
to think of terms $t$ as reasons justifying a belief in various formulas after
a revision takes place. We show that $\mathsf{JCDL}$-theorems are the exact
analogs of $\mathsf{CDL}$-theorems, and that this result holds the other way
around as well. This allows us to think of $\mathsf{JCDL}$ as a theory of
revisable justified belief.

32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc