Multiple-valued logics

Simple tableaus for simple logics, in Notre Dame Journal of Formal Logic, 65.3. 2024. pp. 275-309.

The Strict/Tolerant family continued: quantifiers and modalities, The Australasian Journal of Logic, vol 18, issue 6, pp 616-644, (2021).

Strict/Tolerant logics built using generalized weak Kleene logics, The Australasian Journal of Logic, vol 18, issue 2, pp 73-92, (2021).

A Family of Strict/Tolerant Logics, Journal of Philosophical Logic, vol 50, 2021 (on line September 2020).

The Strict/Tolerant Idea and Bilattices, In: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Ed. by Ofer Arieli and Anna Zamansky, Outstanding Contributions to Logic, Springer (2021) Chapter 8, pp 167-191.

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]