2 papers
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…
cs.AI2023
Epistemic Syllogistic: First Steps
Yipu Li, Yanjing Wang
Aristotle's discussions on modal syllogistic have often been viewed as error-prone and have garnered significant attention in the literature due to historical and philosophical int…