Brouwer-Zadeh Logic, Decidability and Bimodal Systems

Roberto Giuntini. Brouwer-Zadeh Logic, Decidability and Bimodal Systems. Studia Logica, 51(1):97-112, 1992.

Abstract

Abstract is missing.