@article{02e831aa23324b32a228fa616d4c757d,
title = "Neighbourhood Semantics for FDE-Based Modal Logics",
abstract = "We investigate some non-normal variants of well-studied paraconsistent and paracomplete modal logics that are based on N. Belnap{\textquoteright}s and M. Dunn{\textquoteright}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 BK, BKFS and MBL.",
keywords = "Correspondence theory, FDE, Many-valued logic, Modal logic, Neighbourhood semantics",
author = "S. Drobyshevich and D. Skurt",
note = "Funding Information: The work reported in this paper has been carried out as part of the research project “ FDE -based Modal Logics”, supported by the Deutsche Forschungsgemeinschaft, DFG, grant WA 936/13-1, and the Russian Foundation for Basic Research, RFBR, grant No. 18-501-12019. We gratefully acknowledge this support. We also thank an anonymous reviewer for some useful comments which helped improve the presentation of the paper. Publisher Copyright: {\textcopyright} 2021, Springer Nature B.V. Copyright: Copyright 2021 Elsevier B.V., All rights reserved.",
year = "2021",
month = may,
doi = "10.1007/s11225-021-09948-z",
language = "English",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
}