Minghui Ma, Juntong Guo, “Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic”, Stud Logica, 2024
A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Mat. Sb., 215:3 (2024), 37–69
A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354
Hao Wu, Minghui Ma, Lecture Notes in Computer Science, 13963, Logic and Its Applications, 2023, 207
S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424
S. Drobyshevich, D. Skurt, “Neighbourhood Semantics for FDE-Based Modal Logics”, Stud Logica, 109:6 (2021), 1273
CARLO NICOLAI, JOHANNES STERN, “THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH”, J. symb. log., 86:1 (2021), 362
Yuanlei Lin, Minghui Ma, “Belnap–Dunn Modal Logic with Value Operators”, Stud Logica, 109:4 (2021), 759
Igor Sedlár, Ondrej Majer, Synthese Library, 418, New Essays on Belnap-Dunn Logic, 2019, 293