Standard

A General Framework for FDE - Based Modal Logics. / Drobyshevich, Sergey.

In: Studia Logica, Vol. 108, No. 6, 01.12.2020, p. 1281-1306.

Research output: Contribution to journal › Article › peer-review

Harvard

Drobyshevich, S 2020, 'A General Framework for FDE - Based Modal Logics', Studia Logica, vol. 108, no. 6, pp. 1281-1306. https://doi.org/10.1007/s11225-020-09897-z

APA

Drobyshevich, S. (2020). A General Framework for FDE - Based Modal Logics. Studia Logica, 108(6), 1281-1306. https://doi.org/10.1007/s11225-020-09897-z

Vancouver

Drobyshevich S. A General Framework for FDE - Based Modal Logics. Studia Logica. 2020 Dec 1;108(6):1281-1306. doi: 10.1007/s11225-020-09897-z

Author

Drobyshevich, Sergey. / A General Framework for FDE - Based Modal Logics. In: Studia Logica. 2020 ; Vol. 108, No. 6. pp. 1281-1306.

BibTeX

@article{64392c83aae24ca89ead652b88883299,
title = "A General Framework for FDE - Based Modal Logics",
abstract = "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.",
keywords = "Axiom systems, First-degree entailment, Many-valued logic, Modal logic, Strong negation",
author = "Sergey Drobyshevich",
note = "This work was supported by the Russian Foundation for Basic Research (RFBR) and Deutsche Forschungsgemeinschaft (DFG), Project 18-501-12019. We would also like to thank two anonymous referees for their useful comments, which allowed us to both correct some mistakes in the earlier version of the paper and to improve its presentation.",
year = "2020",
month = dec,
day = "1",
doi = "10.1007/s11225-020-09897-z",
language = "English",
volume = "108",
pages = "1281--1306",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "6",

}

RIS

TY - JOUR

T1 - A General Framework for FDE - Based Modal Logics

AU - Drobyshevich, Sergey

N1 - This work was supported by the Russian Foundation for Basic Research (RFBR) and Deutsche Forschungsgemeinschaft (DFG), Project 18-501-12019. We would also like to thank two anonymous referees for their useful comments, which allowed us to both correct some mistakes in the earlier version of the paper and to improve its presentation.

PY - 2020/12/1

Y1 - 2020/12/1

N2 - 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.

AB - 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.

KW - Axiom systems

KW - First-degree entailment

KW - Many-valued logic

KW - Modal logic

KW - Strong negation

UR - http://www.scopus.com/inward/record.url?scp=85094652107&partnerID=8YFLogxK

UR - https://elibrary.ru/item.asp?id=45220904

U2 - 10.1007/s11225-020-09897-z

DO - 10.1007/s11225-020-09897-z

M3 - Article

AN - SCOPUS:85094652107

VL - 108

SP - 1281

EP - 1306

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 6

ER -

ID: 25993916