4 citations · 11 across the 11 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
The Logics of Individual Medvedev Frames
Zhicheng Chen, Yifeng Ding
Let -Medvedev's logic be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size , which we call -Medvedev frames. Whil…
math.LO2024
Some General Completeness Results for Propositionally Quantified Modal Logics
Yifeng Ding, Yipu Li
We study the completeness problem for propositionally quantified modal logics on quantifiable general frames, where the admissible sets are the propositions the quantifiers can ran…
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…