Multiple-valued logics

How True It is = Who Says It's True, Studia Logica, 91:335--366, 2009. Electronic version at http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11225-009-9178-1

Bisimulations and Boolean Vectors, in Advances in Modal Logic, 97--125, P. Balbiani, N. Suzuki, and M. Zakharyaschev editors, Kings College Publications, 2003.

Tableaus for many-valued modal logic. Studia Logica , 55:63--87, 1995.

Kleene's three-valued logics and their children. Fundamenta Informaticae , 20:113--131, 1994.

Many-valued modal logics, II. Fundamenta Informaticae , 17:55--73, 1992.

Many-valued non-monotonic modal logics. In Anil Nerode and Mikhail Taitslin, editors, Logical Foundations of Computer Science --- Tver 92 , pages 139--150. Springer Lecture Notes in Computer Science, 620, 1992.

Many-valued modal logics. Fundamenta Informaticae , 15:235--254, 1991.

Kleene's logic, generalized. Journal of Logic and Computation , 1:797--810, 1992.

[Go home]