CORR
2011
Springer
13 years 6 months ago
2011
Springer
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu