Many-Valued Modal Logics

Article type: Research Article

Authors: Fitting, Melvin C.

Affiliations: Department of Mathematics and Computer Science, Lehman College (CUNY), Bedford Park, Boulevard West, Bronx, NY 10468, USA, E-mail: [email protected]

Abstract: Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.

DOI: 10.3233/FI-1991-153-404

Journal: Fundamenta Informaticae, vol. 15, no. 3-4, pp. 235-254, 1991