Neighbourhood Semantics for FDE-Based Modal Logics

S. Drobyshevich, D. Skurt

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Аннотация

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.

Язык оригиналаанглийский
ЖурналStudia Logica
DOI
СостояниеОпубликовано - мая 2021

Предметные области OECD FOS+WOS

  • 1.01.QL ЛОГИКА
  • 6.01.MQ ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ
  • 1.01 МАТЕМАТИКА

Fingerprint

Подробные сведения о темах исследования «Neighbourhood Semantics for FDE-Based Modal Logics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать