A General Framework for FDE -Based Modal Logics

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

1 Цитирования (Scopus)

Аннотация

We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the literature can be expressed in our framework.

Язык оригиналаанглийский
Страницы (с-по)1281-1306
Число страниц26
ЖурналStudia Logica
Том108
Номер выпуска6
DOI
СостояниеОпубликовано - 1 дек 2020

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

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

Fingerprint

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

Цитировать