Yiwen Ding

works on

finite model theory 1 fluted fragment 1 logic 1 model theory 1 preservation theorems 1

From the 1 of 2 linked papers with an AI index.

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Preservation and definability for the fluted fragment

Yiwen Ding

The paper disproves a claimed extension of the Los‑Tarski preservation theorem to the fluted fragment by presenting a quantifier‑rank‑3 fluted sentence that is preserved under exte…

math.LO2024

Game semantics for lattice-based modal Î¼-calculus

Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +2

In this paper, we generalize modal $I^¼$ -calculus to the non-distributive (lattice-based) modal $I^¼$ -calculus and formalize some scenarios regarding categorization using it. We also…