4 citations · 5 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Preservation and definability for the fluted fragment
Yiwen Ding
This paper investigates preservation and definability for the equality-free fluted fragment over finite relational signatures. We first prove an equirank homomorphism preservation…
math.LO2023
Game semantics for lattice-based modal μ-calculus
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +2
In this paper, we generalize modal -calculus to the non-distributive (lattice-based) modal -calculus and formalize some scenarios regarding categorization using it. We also p…