human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "a van benthem theorem for fuzzy modal logic"):
  Abstract: We present a fuzzy (or quantitative) version of the van Benthem theorem, which characterizes propositional modal logic as the bisimulation-invariant fragment of first-order logic. Specifically, we consider a first-order fuzzy predicate logic along with its modal fragment, and show that the fuzzy first-order formulas that are non-expansive w.r.t. the natural notion of bisimulation distance are exactly those that can be approximated by fuzzy modal formulas.

Includes members:
  Member "bisimulation metrics for weighted automata":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "weighted automata extraction from recurrent neural networks via regression on state spaces")
  Member "a characterization theorem for a modal description logic":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "a modal characterization theorem for a probabilistic fuzzy description logic")
  Member "monadic second order logic and bisimulation invariance for coalgebras":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "np reasoning in the monotone mu calculus")
  Member "a van benthem theorem for modal team semantics":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "on the succinctness of atoms of dependency")
  Member "behavioral metrics via functor lifting":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "a modal characterization theorem for a probabilistic fuzzy description logic")
  Member "neighbourhood structures bisimilarity and basic model theory":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "a van benthem theorem for quantitative probabilistic modal logic")

Question: Please tell me which class the source paper 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)