Hiroyuki Uchida, Nicholas L. Cassimatis, J. R. Scally, “Perceptual simulations can be as expressive as first-order logic”, Cogn Process, 13, № 4, 2012, 361
Yanjun Li, “Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*”, Journal of Logic and Computation, 28, № 2, 2018, 451
Mikhail Rybakov, “Complexity of intuitionistic propositional logic and its fragments”, Journal of Applied Non-Classical Logics, 18, № 2-3, 2008, 267
Ilya Shapirovsky, 11541, Logic, Language, Information, and Computation, 2019, 610
Bahareh Afshari, Graham E. Leigh, 13206, Language, Logic, and Computation, 2022, 197
Hanamantagouda P. Sankappanavar, Handbook of Logical Thought in India, 2022, 979
STANISLAV KIKOT, AGI KURUCZ, YOSHIHITO TANAKA, FRANK WOLTER, MICHAEL ZAKHARYASCHEV, “KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS”, J. symb. log., 84, № 02, 2019, 533
Renate A. Schmidt, Dmitry Tishkovsky, “On combinations of propositional dynamic logic and doxastic modal logics”, J of Log Lang and Inf, 17, № 1, 2007, 109
John G. Stell, Renate A. Schmidt, David Rydeheard, 8428, Relational and Algebraic Methods in Computer Science, 2014, 412
Ivo DÜntsch, Wojciech Dzik, “Ideal related algebras and their logics”, Journal of Logic and Computation, 31, № 8, 2021, 2159