Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the sharpness and the injective property of basic justification
  models   Justification Awareness Models, JAMs, were proposed by S.~Artemov as a tool
for modelling epistemic scenarios like Russel's Prime Minister example. It was
demonstrated that the sharpness and the injective property of a model play
essential role in the epistemic usage of JAMs. The problem to axiomatize these
properties using the propositional justification language was left opened. We
propose the solution and define a decidable justification logic Jref that is
sound and complete with respect to the class of all sharp injective
justification models.

22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an