8 citations · 10 across the 6 of their papers we have counts for
6 papers
Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
Xinyu Wang, Momoka Fujieda
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, n…
On Three-Valued Modal Logics: from a Four-Valued Perspective
Xinyu Wang, Yang Song, Satoshi Tojo
This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing phil…
Automated Evaluation for Student Argumentative Writing: A Survey
Xinyu Wang, Yohan Lee, Juneyoung Park
This paper surveys and organizes research works in an under-studied area, which we call automated evaluation for student argumentative writing. Unlike traditional automated writing…
Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning
Xinyu Wang
Bayesian reasoning plays a significant role both in human rationality and in machine learning. In this paper, we introduce transfinite modal logic, which combines modal logic with…
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…
Epistemic Logic with Partial Dependency Operator
Xinyu Wang
In this paper, we introduce dependency modality into epistemic logic so as to reason about dependency relationship in Kripke mod…