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 logic with reverse modalities for history preserving bisimulations"
  Abstract: We introduce event identifier logic (EIL) which extends Henn essy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifier s to keep track of events. We show that this logic corresponds to hereditary history-preserv ing (HH) bisimulation equivalence within a particular true-concurrency model, namely stable configu ration structures. We furthermore show how natural sublogics of EIL correspond to coarser equivalences. In particular we provide logical characterisations of weak history-preserving (WH) and history-preserving (H) bisimulation. Logics corresponding to HH and H bisimulation have been given previously, but not to WH bisimulation (when autoconcurrency is allowed), as far as we are aware. We also present characteristic formulas which characterise individual structures with respect to h istory-preserving equivalences. The paper presents a modal logic that can express simple properties of computation in the true concurrency setting of stable configuration structures. We aim, li ke Hennessy-Milner logic (HML) [19] in the interleaving setting, to characterise the main true concur rency equivalences and to develop characteristic formulas for them. We focus in this paper on history-preserving bisimulation equivalences. HML has a “diamond” modality haiφ which says that an event labelled a can be performed, taking us to a new state which satisfies φ . The logic also contains negation (¬), conjunction (∧) and a base formula which always holds (tt). HML is strong enough to distinguish any two processes which are not bisimilar. We are interested in making true concurrency distinctions between processes. These processes will be event structures, where the current state is represented by the set of events w hich have occurred so far. Such sets are called configurations. Events have labels (ranged over by a, b,...), and different events may have the same label. We shall refer to example event structures using a CCS-like notation, with a| b denoting an event labelled with a in parallel with another labelled with b, a.b denoting two events labelled a and b where the first causes the second, and a+ b denoting two events labelled a and b which conflict.

Connected through hyperedge HE-1 (induced by source paper "an algebra of actors based on true concurrency"):
  with members:
    - "a calculus for true concurrency"
    - "algebraic laws for true concurrency"
    - "weakly true concurrency and its logic"
    - "a logic for true concurrency"

Connected through hyperedge HE-2 (induced by source paper "a calculus for true concurrency"):
  with members:
    - "weakly true concurrency and its logic"
    - "a logic for true concurrency"

Connected through hyperedge HE-3 (induced by source paper "algebraic laws for true concurrency"):
  with members:
    - "weakly true concurrency and its logic"
    - "a logic for true concurrency"
    - "reverse bisimulations on stable configuration structures"

Connected through hyperedge HE-4 (induced by source paper "weakly true concurrency and its logic"):
  with members:
    - "a logic for true concurrency"

Connected through hyperedge HE-5 (induced by source paper "extensions of configuration structures"):
  with members:
    - "the glory of the past and geometrical concurrency"
    - "formal relationships between geometrical and classical models for concurrency"
    - "a logic for true concurrency"
    - "configuration structures event structures and petri nets"

Connected through hyperedge HE-6 (induced by source paper "the glory of the past and geometrical concurrency"):
  with members:
    - "higher dimensional modal logic"
    - "a logic for true concurrency"
    - "configuration structures event structures and petri nets"

Connected through hyperedge HE-7 (induced by source paper "a logic for true concurrency"):
  with members:
    - "reverse bisimulations on stable configuration structures"

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)