- 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