Research

Tense Logic

Modal/tense systems, pretabularity, weak transitivity, axioms.

Degree of Kripke-incompleteness of Tense Logics

Author: Qian Chen
Preprint: arXiv:2507.04533. Continue reading Degree of Kripke-incompleteness of Tense Logics

Pretabular Tense Logics over S4t

Authors: Qian Chen
To appear in: Annals of Pure and Applied Logic. arXiv:2412.19558 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(2): 217–250 (2023). DOI: https://doi.org/10.1007/s11225-022-10027-0 Continue reading Finite Model Property in Weakly Transitive Tense Logics

Lattices of Finitely Alternative Normal Tense Logics

Authors: Minghui Ma and Qian Chen
Published in: Studia Logica 109(5): 1093–1118 (2021). DOI: https://doi.org/10.1007/s11225-021-09942-5 Continue reading Lattices of Finitely Alternative Normal 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, topology, and frame conditions.

Modal Logic of Generalized Separated Topological Spaces

Authors: Qian Chen and Minghui Ma
Published in: Logic and Its Applications, ICLA 2023, LNCS 13963, 92–104. DOI: https://doi.org/10.1007/978-3-031-26689-8_7 Continue reading Modal Logic of Generalized Separated Topological Spaces

The McKinsey Axiom on Weakly Transitive Frames

Authors: Qian Chen and Minghui Ma
Published in: Studia Logica 113(6): 1543–1566 (2025). DOI: https://doi.org/10.1007/s11225-024-10145-x Continue reading The McKinsey Axiom on Weakly Transitive Frames

Logic of Games

Logical frameworks for games, interaction, and dynamic graph change.

A Modal Logic for the Hide and Seek Game

Authors: Qian Chen, Dazhu Li, Yaxin Tu, Sujata Ghosh, and Fenrong Liu
To appear in: Graph Games and Logic Design: Recent Developments and Future Directions, Trends in Logic 66, Springer. Continue reading A Modal Logic for the Hide and Seek Game

Axiomatization of Hybrid Logic of Link Variations

Authors: Penghao Du and Qian Chen
Published in: Dynamic Logic. New Trends and Applications, LNCS 14401, 35–51 (2024). DOI: https://doi.org/10.1007/978-3-031-51777-8_3 Continue reading Axiomatization of Hybrid Logic of Link Variations

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