2025/11/25 by Dmitry M. Anishchenko, Anishchenko, Dmitry M.
Computer Science · Economics, Econometrics and Finance · #Advanced Algebra and Logic #FOS: Mathematics #Game Theory and Voting Systems #Logic (math.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2511.20512
openalex publication_date 2025/11/25 · openalex created_date 2025/11/28 · openalex updated_date 2026/07/28
BS4 is a natural Belnapian conservative extension of Lewis modal system S4 via strong negation. In [24] it was proved that the translation TB that naturally generalises the Godel-Tarski translation T embeds faithfully Nelsons logic N4 into BS4. So it is natural to define a modal companion of a logic extending N4 as an extension of BS4. In this paper we construct a representation of an N4-lattice similar to the representation of a Heyting algebra as an open elements algebra for a suitable topoboolean algebra. Using this algebraic result we construct a wide class of N4- extensions, elements of which have modal companions. In particular, all N3- extensions have modal companions. Also we prove that there are a continuum of N4- extensions that have no modal companions.