Xinyu Wang

activity

20192022

most citedAutomated Evaluation for Student Argumentative Writing: A Survey

8 citations · 10 across the 6 of their papers we have counts for

collaborators

Showing 2021Show all

1 paper · 1 filter

cs.LO2021

First-Order Modal $ξ$ -Calculus: On the Aspects of Application and Bisimulation

Xinyu Wang

This paper proposes first-order modal $ξ$ -calculus as well as genealogical Kripke models. Inspired by modal $μ$ -calculus, first-order modal $ξ$ -calculus takes a quite similar form…

First-Order Modal ξ-Calculus: On the Aspects of Application and Bisimulation

First-Order Modal $ξ$ -Calculus: On the Aspects of Application and Bisimulation