Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Timely Common Knowledge   Coordinating activities at different sites of a multi-agent system typically
imposes epistemic constraints on the participants. Specifying explicit bounds
on the relative times at which actions are performed induces combined temporal
and epistemic constraints on when agents can perform their actions. This paper
characterises the interactive epistemic state that arises when actions must
meet particular temporal constraints. The new state, called timely common
knowledge, generalizes common knowledge, as well as other variants of common
knowledge. While known variants of common knowledge are defined in terms of a
fixed point of an epistemic formula, timely common knowledge is defined in
terms of a vectorial fixed point of temporal-epistemic formulae. A general
class of coordination tasks with timing constraints is defined, and timely
common knowledge is used to characterise both solvability and optimal solutions
of such tasks. Moreover, it is shown that under natural conditions, timely
common knowledge is equivalent to an infinite conjunction of temporal-epistemic
formulae, in analogy to the popular definition of common knowledge.

3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math