Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A sequence of neighborhood contingency logics   This note proposes various axiomatizations of contingency logic under
neighborhood semantics. In particular, by defining a suitable canonical
neighborhood function, we give sound and complete axiomatizations of monotone
contingency logic and regular contingency logic, thereby answering two open
questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical
function is inspired by a function proposed by Kuhn in 1995. We show that
Kuhn's function is actually equal to a related function originally given by
Humberstone.

30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat