Showing math.LOShow all
3 papers · 1 filter
math.LO2025
A discrete-time temporal deontic STIT logic based on interpreted systems
Shuge Rong, Yifeng Ding
We present a STIT ('see to it that') logic with discrete temporal operators and deontic operators in which we can formalize and reason about legal concepts such as persistent duty…
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…