Research
You can see my research here, including the ones being in progress and those already published. have fun!
Tense Logic
Modal/tense systems, pretabularity, weak transitivity, axioms.
Pretabular Tense Logics over S4t
Authors: Qian Chen
Published on: TACL 2024. Continue reading Pretabular Tense Logics over S4t
Finite model property in weakly transitive tense logics
Authors: Minghui Ma and Qian Chen
Published in: Studia Logica 111: 217–250 (2022). DOI: https://doi.org/10.1007/s11225-022-10027-0 Continue reading Finite model property in weakly transitive tense logics
Lattices of finitely alternative tense logics
Authors: Minghui Ma and Qian Chen
Published in: Studia Logica 109: 1093–1118 (2021). DOI: https://doi.org/10.1007/s11225-021-09942-5 Continue reading Lattices of finitely alternative tense logics
Tabularity and Post-completeness in Tense Logic
Authors: Qian Chen and Minghui Ma
Published in: The Review of Symbolic Logic 17(2):475–492 (2024). DOI: https://doi.org/10.1017/S1755020322000132 Continue reading Tabularity and Post-completeness in Tense Logic
Modal Logic
General modal principles and frame conditions.
The McKinsey Axiom on Weakly Transitive Frames
Authors: Qian Chen and Minghui Ma
Published in: Studia Logica (2024). DOI: https://doi.org/10.1007/s11225-024-10145-x Continue reading The McKinsey Axiom on Weakly Transitive Frames
Hybrid Logic
Hybrid operators and dynamic link variations.
Axiomatization of Hybrid Logic of Link Variations
Authors: Penghao Du and Qian Chen Continue reading Axiomatization of Hybrid Logic of Link Variations
Logic of Games
Logical frameworks for games and interactions.
Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Authors: Qian Chen and Dazhu Li
Published on: Dynamic Logic. New Trends and Applications 2023. Continue reading Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Reasoning about dependence, preference, and coalitional power
Authors: Qian Chen, Chenwei Shi, and Yiyan Wang
Published in: Journal of Philosophical Logic 53, 99–130 (2024). DOI: https://doi.org/10.1007/s10992-023-09727-2 Continue reading Reasoning about dependence, preference, and coalitional power
Dependence & Preference
Dependence, preference, and coalitional reasoning.
Reasoning about dependence, preference, and coalitional power
Authors: Qian Chen, Chenwei Shi, and Yiyan Wang
Published in: Journal of Philosophical Logic 53, 99–130 (2024). DOI: https://doi.org/10.1007/s10992-023-09727-2 Continue reading Reasoning about dependence, preference, and coalitional power
