Аннотация
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 BK, BKFS and MBL.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 1273-1309 |
Число страниц | 37 |
Журнал | Studia Logica |
Том | 109 |
Номер выпуска | 6 |
DOI | |
Состояние | Опубликовано - дек 2021 |
Предметные области OECD FOS+WOS
- 1.01.QL ЛОГИКА
- 6.01.MQ ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ
- 1.01 МАТЕМАТИКА
- 6.03.UA ФИЛОСОФИЯ
ГРНТИ
- 02 ФИЛОСОФИЯ