Аннотация
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 МАТЕМАТИКА