Wu, Hao; Ma, Minghui Relational semantics for normal topological quasi-Boolean logic. (English) Zbl 07728698 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 207-221 (2023). MSC: 03Bxx 68T27 PDFBibTeX XMLCite \textit{H. Wu} and \textit{M. Ma}, Lect. Notes Comput. Sci. 13963, 207--221 (2023; Zbl 07728698) Full Text: DOI
Speranski, S. O. Modal bilattice logic and its extensions. (English. Russian original) Zbl 1515.03108 Algebra Logic 60, No. 6, 407-424 (2022); translation from Algebra Logika 60, No. 6, 612-635 (2021). MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{S. O. Speranski}, Algebra Logic 60, No. 6, 407--424 (2022; Zbl 1515.03108); translation from Algebra Logika 60, No. 6, 612--635 (2021) Full Text: DOI
Drobyshevich, S.; Skurt, D. Neighbourhood semantics for FDE-based modal logics. (English) Zbl 07450672 Stud. Log. 109, No. 6, 1273-1309 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Drobyshevich} and \textit{D. Skurt}, Stud. Log. 109, No. 6, 1273--1309 (2021; Zbl 07450672) Full Text: DOI
Lin, Yuanlei; Ma, Minghui Belnap-Dunn modal logic with value operators. (English) Zbl 07424397 Stud. Log. 109, No. 4, 759-789 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Lin} and \textit{M. Ma}, Stud. Log. 109, No. 4, 759--789 (2021; Zbl 07424397) Full Text: DOI
Nicolai, Carlo; Stern, Johannes The modal logics of Kripke-Feferman truth. (English) Zbl 1491.03015 J. Symb. Log. 86, No. 1, 362-396 (2021). Reviewer: Xavier Parent (Vienna) MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{C. Nicolai} and \textit{J. Stern}, J. Symb. Log. 86, No. 1, 362--396 (2021; Zbl 1491.03015) Full Text: DOI arXiv
Grigoriev, Oleg; Petrukhin, Yaroslav On a multilattice analogue of a hypersequent S5 calculus. (English) Zbl 1458.03012 Log. Log. Philos. 28, No. 4, 683-730 (2019). MSC: 03B45 03B50 03F05 PDFBibTeX XMLCite \textit{O. Grigoriev} and \textit{Y. Petrukhin}, Log. Log. Philos. 28, No. 4, 683--730 (2019; Zbl 1458.03012) Full Text: DOI
Sedlár, Igor; Majer, Ondrej Modelling sources of inconsistent information in paraconsistent modal logic. (English) Zbl 1469.03052 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 293-310 (2019). MSC: 03B45 03B53 03B50 PDFBibTeX XMLCite \textit{I. Sedlár} and \textit{O. Majer}, Synth. Libr. 418, 293--310 (2019; Zbl 1469.03052) Full Text: DOI