4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.LO2024
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…
cs.AI2023★ 4 cited
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…