Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Complete Axiomatizations for Reasoning About Knowledge and Time   Sound and complete axiomatizations are provided for a number of different
logics involving modalities for knowledge and time. These logics arise from
different choices for various parameters. All the logics considered involve the
discrete time linear temporal logic operators `next' and `until' and an
operator for the knowledge of each of a number of agents. Both the single agent
and multiple agent cases are studied: in some instances of the latter there is
also an operator for the common knowledge of the group of all agents. Four
different semantic properties of agents are considered: whether they have a
unique initial state, whether they operate synchronously, whether they have
perfect recall, and whether they learn. The property of no learning is
essentially dual to perfect recall. Not all settings of these parameters lead
to recursively axiomatizable logics, but sound and complete axiomatizations are
presented for all the ones that do.

28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an