We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: First-Order Modal $ξ$-Calculus

Authors: Xinyu Wang
Abstract: This paper proposes first-order modal $\xi$-calculus as well as genealogical Kripke models. Inspired by modal $\mu$-calculus, first-order modal $\xi$-calculus takes a quite similar form and extends its inductive expressivity onto a different dimension. We elaborate on several vivid examples that demonstrate this logic's profound utility, especially for depicting genealogy of concurrent computer processes. Bisimulation notion for the logic has also been thoroughly examined.
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2110.07689 [cs.LO]
  (or arXiv:2110.07689v1 [cs.LO] for this version)

Submission history

From: Xinyu Wang [view email]
[v1] Thu, 14 Oct 2021 19:54:57 GMT (26kb)

Link back to: arXiv, form interface, contact.