8 citations · 8 across the 4 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
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…
math.LO2019
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…