Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relative Expressiveness of Defeasible Logics   We address the relative expressiveness of defeasible logics in the framework
DL. Relative expressiveness is formulated as the ability to simulate the
reasoning of one logic within another logic. We show that such simulations must
be modular, in the sense that they also work if applied only to part of a
theory, in order to achieve a useful notion of relative expressiveness. We
present simulations showing that logics in DL with and without the capability
of team defeat are equally expressive. We also show that logics that handle
ambiguity differently -- ambiguity blocking versus ambiguity propagating --
have distinct expressiveness, with neither able to simulate the other under a
different formulation of expressiveness.

13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat