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: "finitary semantics of linear logic and higher order model checking"
  Abstract: In this paper, we explain how the connection between higher-order model-checking and linear logic recently exhibited by the authors leads to a new and conceptually enlightening proof of the selection problem originally established by Carayol and Serre using collapsible pushdown automata. The main idea is to start from an infinitary and colored relational semantics of the lambdaY-calculus already formulated, and to replace it by its finitary counterpart based on finite prime-algebraic lattices. Given a higher-order recursion scheme G, the finiteness of its interpretation in the model enables us to associate to any MSO formula phi a new higher-order recursion scheme G_phi resolving the selection problem.

Connected through hyperedge HE-1 (induced by source paper "intersection types for unboundedness problems"):
  with members:
    - "intersection types and counting"
    - "pumping lemma for higher order languages"
    - "the diagonal problem for higher order recursion schemes is decidable"
    - "on word and frontier languages of unsafe higher order grammars"
    - "relational semantics of linear logic and higher order model checking"
    - "ordered tree pushdown systems"
    - "an approach to computing downward closures"
    - "regular cost functions part i logic and algebra over words"

Connected through hyperedge HE-2 (induced by source paper "on the elementary affine lambda calculus with and without fixed points"):
  with members:
    - "the bang calculus and the two girard s translations"
    - "light logics and the call by value lambda calculus"

Connected through hyperedge HE-3 (induced by source paper "higher order program verification via hfl model checking"):
  with members:
    - "relational semantics of linear logic and higher order model checking"
    - "a type directed negation elimination"
    - "higher order program verification as satisfiability modulo theories with algebraic data types"
    - "model checking process equivalences"
    - "the complexity of model checking higher order fixpoint logic"

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)