In this paper, we argue that the usual approach to modelling knowledge and belief with the necessity modality |$\Box $| does not produce intuitive outcomes in the framework of the Belnap–Dunn logic (⁠|$\textsf{BD}$|⁠, alias |$\textbf{FDE}$|—first-degree entailment). We then motivate and introduce a nonstandard modality |$\blacksquare $| that formalizes knowledge and belief in |$\textsf{BD}$| and use |$\blacksquare $| to define |$\bullet $| and |$\blacktriangledown $| that formalize the unknown truth and ignorance as not knowing whether, respectively. Moreover, we introduce another modality (...) |$\textbf{I}$| that stands for factive ignorance and show its connection with |$\blacksquare $|⁠. We equip these modalities with Kripke-frame-based semantics and construct a sound and complete analytic cut system for |$\textsf{BD}^{\blacksquare }$| and |$\textsf{BD}^{\textbf{I}}$|—the expansions of |$\textsf{BD}$| with |$\blacksquare $| and |$\textbf{I}$|⁠. In addition, we show that |$\Box $| as it is customarily defined in |$\textsf{BD}$| cannot define any of the introduced modalities, nor, conversely, neither |$\blacksquare $| nor |$\textbf{I}$| can define |$\Box $|⁠. We also demonstrate that |$\blacksquare $| and |$\textbf{I}$| are not interdefinable and establish the definability of several important classes of frames using |$\blacksquare $|⁠. (shrink)

We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap’s and M. Dunn’s four-valued logic. Our basic non-normal modal logics are characterized by a weak extensionality rule, which reflects the four-valued nature of underlying logics. Aside from introducing our basic framework of bi-neighbourhood semantics, we develop a correspondence theory in order to prove completeness results with respect to our neighbourhood semantics for non-normal variants of \, \ and \.