human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "a new representation theorem for many valued modal logics"
  Abstract: We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the Kripke possible-world semantics for it. Such a new framework offers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently, it is substantially different from current definitions based on a matrix with a designated subset of logic values, used for the satisfaction relation, often difficult to fix. In the case when the many-valued modal logics are based on the set of truth-values that are complete distributive lattices we obtain a compact autoreferential Kripke-style canonical representation. The Kripke-style semantics for this subclass of modal logics have the joint-irreducible subset of the carrier set of many-valued algebras as set of possible worlds. A significant member of this subclass is the paraconsistent fuzzy logic extended by new logic values in order to also deal with incomplete and inconsistent information. This new theory is applied for the case of autoepistemic intuitionistic many-valued logic, based on Belnap's 4-valued bilattice, as a minimal extension of classical logic used to manage incomplete and inconsistent information as well.

Connected through hyperedge HE-1 (induced by source paper "reduction of many valued into two valued modal logics"):
  with members:
    - "on paraconsistent weakening of intuitionistic negation"
    - "binary sequent calculi for truth invariance entailment of finite many valued logics"
    - "on a theory of probabilistic deductive databases"

Connected through hyperedge HE-2 (induced by source paper "probabilistic logic many valuedness and intensionality"):
  with members:
    - "first order logic modality and intensionality"
    - "temporal probabilistic logic programs state and revision"

Connected through hyperedge HE-3 (induced by source paper "binary sequent calculi for truth invariance entailment of finite many valued logics"):
  with members:
    - "on paraconsistent weakening of intuitionistic negation"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)