论文信息 - MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH

MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH

1.1 In standard modal logics, the worlds are 2-valued in the following sense: there are 2 values ( true and false ) that a sentence may take at a world. Technically, however, there is no reason why this has to be the case. The worlds could be many-valued. This paper presents one simple approach to a major family of many-valued modal logics, together with an illustration of why this family is philosophically interesting.

Graham Priest | G. Priest

[1] Melvin Fitting,et al. Many-valued modal logics , 1991, Fundam. Informaticae.

[2] J. Sakalauskaite. Tableaus with Invertible Rules for Many‐Valued Modal Propositional Logics , 2002 .

[3] G. Priest. An introduction to non-classical logic , 2001 .

[4] Melvin Fitting,et al. Many-valued modal logics II , 1992 .

[5] S. K. Thomason. Possible worlds and many truth values , 1978 .

[6] Krister Segerberg. Some Modal Logics based on a Three-valued Logic , 2008 .

[7] Pascal Ostermann,et al. Many-valued modal logics: Uses and predicate calculus , 1990, Mathematical Logic Quarterly.

[8] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[9] Aristotle,et al. The Works of Aristotle , 1929, Nature.

[10] Charles G. Morgan,et al. Local and global operators and many-valued modal logics , 1979, Notre Dame J. Formal Log..

[11] Melvin Fitting,et al. Tableaus for many-valued modal logic , 1995, Stud Logica.

[12] Pascal Ostermann,et al. Many-Valued Modal Propositional Calculi , 1988, Math. Log. Q..