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: "modal logics for nominal transition systems"
  Abstract: We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these systems is introduced, and proved adequate and expressively complete for bisimulation equivalence. A main technical novelty is the use of finitely supported infinite conjunctions. We show how to treat different bisimulation variants such as early, late, open and weak in a systematic way, explore the folklore theorem that state predicates can be replaced by actions, and make substantial comparisons with related work. The main definitions and theorems have been formalised in Nominal Isabelle.

Connected through hyperedge HE-1 (induced by source paper "scalar and vectorial mu calculus with atoms"):
  with members:
    - "reasoning about data repetitions with counter systems"
    - "smt solving for functional programming over infinite structures"
    - "automata theory in nominal sets"
    - "alternating register automata on finite words and trees"
    - "alternating automata on data trees and xpath satisfiability"
    - "ltl with the freeze quantifier and register automata"
    - "on the freeze quantifier in constraint ltl decidability and complexity"

Connected through hyperedge HE-2 (induced by source paper "rule formats for nominal process calculi"):
  with members:
    - "formalising the pi calculus using nominal logic"

Connected through hyperedge HE-3 (induced by source paper "a characterisation of open bisimulation using an intuitionistic modal logic"):
  with members:
    - "a bisimilarity congruence for the applied pi calculus sufficiently coarse to verify privacy properties"
    - "generating witness of non bisimilarity for the pi calculus"
    - "the applied pi calculus mobile values new names and secure communication"
    - "a two level logic approach to reasoning about computations"
    - "the bedwyr system for model checking over syntactic expressions"

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)