- QIAN CHEN, MINGHUI MA, “TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC”, The Review of Symbolic Logic, 2022, 1
- Wojciech Dzik, Piotr Wojtylak, “Modal Consequence Relations Extending S4.3: An Application of Projective Unification”, Notre Dame J. Formal Logic, 57, № 4, 2016
- WESLEY H. HOLLIDAY, TADEUSZ LITAK, “COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS”, The Review of Symbolic Logic, 12, № 3, 2019, 487
- Wojciech Dzik, Piotr Wojtylak, “Almost structurally complete infinitary consequence operations extending S4.3”, Logic Jnl IGPL, 23, № 4, 2015, 640
- Tadeusz Litak, Frank Wolter, “All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete”, Stud Logica, 81, № 2, 2005, 153
- Hanamantagouda P. Sankappanavar, Handbook of Logical Thought in India, 2022, 1
- A. D. Yashin, A. G. Makarov, “Irreflexive Modality, the Dummett Logic, and Continual Chains”, Sib Math J, 59, № 2, 2018, 368