Publications

Journal articles, conference publications, abstracts, and preprints.

Preprints and Manuscripts

  1. Qian Chen and Tenyo Takahashi (2026). Most Properties are Undecidable Even in $\mathsf{NExt}(\mathsf{Grz}_t)$ [Preprint]. arXiv:2608.30816. Under review.
  2. Qian Chen (2025). Degree of Kripke-incompleteness of Tense Logics [Preprint]. arXiv:2507.04533. Under review.

Journal Articles

  1. Qian Chen and Dazhu Li* (2026). On the Logic of the Hide and Seek Game. Journal of Logic, Language and Information 35, 135–159. DOI: 10.1007/s10849-026-09474-y.
  2. Penghao Du and Qian Chen* (2026). Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations. Journal of Logic, Language and Information 35, 109–134. DOI: 10.1007/s10849-026-09475-x.
  3. Qian Chen* (2026). Pretabular Tense Logics over $\mathsf{S4}_t$. Annals of Pure and Applied Logic 177(10), 103807. DOI: 10.1016/j.apal.2026.103807.
  4. Qian Chen and Minghui Ma* (2025). The McKinsey Axiom on Weakly Transitive Frames. Studia Logica 113, 1543–1566. DOI: 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: 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. DOI: 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: 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: 10.1007/s11225-021-09942-5.

Refereed Conference Articles and Book Chapters

  1. Qian Chen* and Tenyo Takahashi* (2026). Most Properties are Undecidable for Transitive Tense Logics. In M. Bílková, M. Gattinger, I. van der Giessen, M. Girlando and Y. Wang, eds., Advances in Modal Logic 2026. Electronic Proceedings in Theoretical Computer Science 447, 189–202. DOI: 10.4204/EPTCS.447.11.
  2. 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 Further Directions. Trends in Logic, vol. 66, pp. 177–206. Springer, Cham. DOI: 10.1007/978-3-031-91361-7_8.
  3. Chenwei Shi, Qian Chen and Qingyu He* (2025). Naming Sets: New Axiomatization of the Modal Logic in the Bimodal Base $L(R, -R)$. In S. Ghosh, A. A. Nowbagh and R. Ramanujam, eds., Inference, Structure, Modality: The 7th Asian Workshop on Philosophical Logic. Logic in Asia: Studia Logica Library. Springer, Singapore. Forthcoming (October 2026).
  4. Penghao Du and Qian Chen* (2024). Axiomatization of Hybrid Logic of Link Variations. In N. Gierasimczuk and F. R. Velázquez-Quesada, eds., Dynamic Logic: New Trends and Applications. DaLí 2023. Lecture Notes in Computer Science, vol. 14401. Springer, Cham. DOI: 10.1007/978-3-031-51777-8_3.
  5. Qian Chen and Dazhu Li* (2024). Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability. In N. Gierasimczuk and F. R. Velázquez-Quesada, eds., Dynamic Logic: New Trends and Applications. DaLí 2023. Lecture Notes in Computer Science, vol. 14401. Springer, Cham. DOI: 10.1007/978-3-031-51777-8_2.
  6. Qian Chen and Minghui Ma* (2023). Modal logic of generalized separated topological spaces. In M. Banerjee and A. V. Sreejith, eds., Logic and its Applications. ICLA 2023. Lecture Notes in Computer Science, vol. 13963, pp. 92–104. Springer, Cham. DOI: 10.1007/978-3-031-26689-8_7.

Refereed Conference Abstracts and Posters

  1. Qian Chen* (2026). All Post-complete Tabular Tense Logics Have the Craig Interpolation Property (Poster). Accepted by the 2026 Annual Conference of the Chinese Society of Mathematical Logic.
  2. Nick Bezhanishvili* and Qian Chen* (2026). Interpolation in Two-Dimensional Cylindric Modal Logic (Abstract). Accepted by Topology, Algebra and Categories in Logic 2026.
  3. Rodrigo N. Almeida* and Qian Chen* (2026). Interpolation in bi-intuitionistic logics (Abstract). Accepted by Topology, Algebra and Categories in Logic 2026.
  4. Qian Chen (2025). Degree of Kripke-incompleteness in $\mathsf{NExt}(\mathsf{S4}_t)$ (Abstract). Accepted by TbiLLC 2025. Abstract.
  5. Qian Chen (2025). Degree of Kripke-incompleteness in Tense Logics (Abstract). Abstract Booklet: The Logic Algebra and Truth Degrees (LATD) 2025, 65–70. Program.
  6. Qian Chen and Penghao Du* (2025). Modal Logics of Global Definable Link Variations (Abstract). Proceedings of the Second International Conference of Bridges between Logic, Ethics and Social Sciences, 101–104.
  7. Qian Chen (2024). Pretabular Tense Logics over $\mathsf{S4}_t$ (Abstract). TACL 2024, Book of Abstracts, 88–89. Abstract book.

* Corresponding author.

© 2026. Qian CHEN. All rights reserved.