4 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
Fuzzy Lattice-based Description Logic
Yiwen Ding, Krishna Manoorkar
Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to c…
Defeasible Reasoning on Concepts
Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni +1
In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative re…
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…
Causal Kripke Models
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis +2
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality wi…