Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hennessy-Milner Properties via Topological Compactness   We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and
bi-intuitionistic logic interpreted in intuitionistic Kripke models, and
generalise these results to modal (dual- and bi-)intuitionistic logics. Our
main technical tools are image-compact and pre-image-compact relations that
provide a semantical description of modal saturation properties.

5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
1
The categories of this paper are: cs
33
The categories of this paper are: plasm-ph