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 "predicate liftings and functor presentations in coalgebraic expression languages"):
  Abstract: We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbourhood-based system types. We prove a generic Kleene-type theorem establishing a correspondence between our expressions and finite systems. Our expression language is similar to one introduced in previous work by Myers but has a semantics defined in terms of a particular form of predicate liftings as used in coalgebraic modal logic; in fact, our expressions can be regarded as a particular type of modal fixed point formulas. The predicate liftings in question are required to satisfy a natural preservation property; we show that this property holds in particular for the Moss liftings introduced by Marti and Venema in work on lax extensions.

Includes members:
  Member "towards a coalgebraic chomsky hierarchy":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "toward a uniform theory of effectful state machines")
  Member "subsumption checking in conjunctive coalgebraic fixpoint logics":
    also connected through other hyperedges:
      (none)
  Member "simulations and bisimulations for coalgebraic modal logics":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "explaining non bisimilarity in a coalgebraic approach games and distinguishing formulas")
  Member "generalizing determinization from automata to coalgebras":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "toward a uniform theory of effectful state machines")
  Member "exptime tableaux for the coalgebraic mu calculus":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "np reasoning in the monotone mu calculus")
  Member "non deterministic kleene coalgebras":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "toward a uniform theory of effectful state machines")
  Member "completeness of flat coalgebraic fixpoint logics":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "computing nested fixpoints in quasipolynomial time")

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)