Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Non-finite axiomatizability of Dynamic Topological Logic   Dynamic topological logic (DTL) is a polymodal logic designed for reasoning
about {\em dynamic topological systems. These are pairs (X,f), where X is a
topological space and f:X->X is continuous. DTL uses a language L which
combines the topological S4 modality [] with temporal operators from linear
temporal logic.
  Recently, I gave a sound and complete axiomatization DTL* for an extension of
the logic to the language L*, where <> is allowed to act on finite sets of
formulas and is interpreted as a tangled closure operator. No complete
axiomatization is known over L, although one proof system, which we shall call
$\mathsf{KM}$, was conjectured to be complete by Kremer and Mints.
  In this paper we show that, given any language L' between L and L*, the set
of valid formulas of L' is not finitely axiomatizable. It follows, in
particular, that KM is incomplete.

20
The categories of this paper are: acc-phys
14
The categories of this paper are: math-ph
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex