Publications

Here you can find all of my publications so far, hope you find them interesting.

Under Review

  1. Qian Chen and Tenyo Takahashi (2026). Most properties are undecidable for transitive tense logics. Manuscript.
  2. Rodrigo Nicolau Almeida and Qian Chen (2026). Interpolation and amalgamation in bi-intuitionistic logics (Abstract). Manuscript.
  3. Nick Bezhanishvili and Qian Chen (2026). Interpolation in Two-Dimensional Cylindric Modal Logic (Abstract). Manuscript.
  4. Qian Chen (2025). Degree of Kripke-incompleteness of Tense Logics [Preprint]. arXiv:2507.04533v1.

Journal Articles and Book Chapters

  1. Penghao Du and Qian Chen (2026). Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations. To appear in Journal of Logic, Language and Information.
  2. Qian Chen (2026). Pretabular Tense Logics over $\mathsf{S4}_t$. To appear in Annals of Pure and Applied Logic.
  3. Qian Chen, Dazhu Li, Yaxin Tu, Sujata Ghosh and Fenrong Liu (2026). A Modal Logic for the Hide and Seek Game. In J. van Benthem and F. Liu, eds., Graph Games and Logic Design: Recent Developments and Future Directions. Trends in Logic, vol. 66. Springer. To appear.
  4. Qian Chen and Minghui Ma (2025). The McKinsey Axiom on Weakly Transitive Frames. Studia Logica 113, 1543–1566. DOI: https://doi.org/10.1007/s11225-024-10145-x
  5. Qian Chen and Minghui Ma (2024). Tabularity and Post-completeness in Tense Logic. The Review of Symbolic Logic 17(2):475-492. DOI: https://doi.org/10.1017/S1755020322000132
  6. Qian Chen, Chenwei Shi and Yiyan Wang (2024). Reasoning about dependence, preference and coalitional power. Journal of Philosophical Logic 53, 99–130. https://doi.org/10.1007/s10992-023-09727-2
  7. Minghui Ma and Qian Chen (2023). Finite model property in weakly transitive tense logics. Studia Logica 111: 217–250. DOI: https://doi.org/10.1007/s11225-022-10027-0
  8. Minghui Ma and Qian Chen (2021). Lattices of finitely alternative tense logics. Studia Logica 109: 1093–1118. DOI: https://doi.org/10.1007/s11225-021-09942-5

Refereed Conference Articles and abstracts

  1. Qian Chen (2025). Degree of Kripke-incompleteness in $\mathsf{NExt}(\mathsf{S4}_t)$ (Abstract). Accepted by TbiLLC 2025. Link
  2. Qian Chen (2025). Degree of Kripke-incompleteness in Tense Logics (Abstract). Abstract Booklet. The Logic Algebra and Truth Degrees (LATD) 2025. Link
  3. Qian Chen and Penghao Du (2025). Modal Logics of Global Definable Link Variations (Abstract). Accepted by BLESS-2025.
  4. Chenwei Shi, Qian Chen and Qingyu He (2025). Naming Sets: New Axiomatization of the Modal Logic in the Bimodal Base $L(R, -R)$ Accepted by AWPL 2025.
  5. Qian Chen (2024). Pretabular Tense Logics over $\mathsf{S4}_t$ (Abstract). TACL 2024, Book of Abstracts 88-89. Link
  6. Chenwei Shi, Qian Chen and Qingyu He (2024). Common Knowledge as Mutual Range-Dependence (Abstract). The Third International Workshop on Logic and Philosophy - Agency and Intentionality: Collective and Individual. Link (Research Gate)
  7. Penghao Du, and Qian Chen (2024). Axiomatization of Hybrid Logic of Link Variations. In: Gierasimczuk, N., Velázquez-Quesada, F.R. (eds) Dynamic Logic. New Trends and Applications. DaLí 2023. Lecture Notes in Computer Science, vol 14401. Springer, Cham. link
  8. Qian Chen, and Dazhu Li (2024). Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. In: Gierasimczuk, N., Velázquez-Quesada, F.R. (eds) Dynamic Logic. New Trends and Applications. DaLí 2023. Lecture Notes in Computer Science, vol 14401. Springer, Cham. link
  9. Qian Chen and Minghui Ma (2023). Modal logic of generalized separated topological spaces. In Banerjee, M. and Sreejith, A. V., editors. Logic and its applications. ICLA 2023. Lecture Notes in Computer Science, vol 13963, pages 92-104. Springer, Cham. DOI: link

© 2025. Qian CHEN. All rights reserved.