Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Strong completeness of modal logics over 0-dimensional metric spaces   We prove strong completeness results for some modal logics with the universal
modality, with respect to their topological semantics over 0-dimensional
dense-in-themselves metric spaces. We also use failure of compactness to show
that, for some languages and spaces, no standard modal deductive system is
strongly complete.

37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org