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, no. 4, 2016
WESLEY H. HOLLIDAY, TADEUSZ LITAK, “COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS”, The Review of Symbolic Logic, 12, no. 3, 2019, 487
Wojciech Dzik, Piotr Wojtylak, “Almost structurally complete infinitary consequence operations extending S4.3”, Logic Jnl IGPL, 23, no. 4, 2015, 640
Tadeusz Litak, Frank Wolter, “All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete”, Stud Logica, 81, no. 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, no. 2, 2018, 368
Renate A. Schmidt, Dmitry Tishkovsky, “Multi-Agent Dynamic Logics with Informational Test”, Annals of Mathematics and Artificial Intelligence, 42, no. 1-3, 2004, 5