Causal Kripke Models. - Yiwen Ding; Krishna Manoorkar; Apostolos Tzimoulis; Ruoding Wang; Xiaolong Wang (TARK, 2023)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. - Yifeng Ding; Krishna Manoorkar; Mattia Panettiere; Ruoding Wang (AiML, 2024)

Query answering in lattice-based description logic. - Krishna Manoorkar; Ruoding Wang (CoRR, 2024)

Defeasible Reasoning on Concepts. - Yiwen Ding; Krishna Manoorkar; Ni Wayan Switrayni; Ruoding Wang (CoRR, 2024)

Monotone Modal Logic Beyond Distributivity. - Yiwen Ding; Krishna Manoorkar; Alessandra Palmigiano; Ruoding Wang (ICLA, 2025)