Key points are not available for this paper at this time.
In the product L₁ L₂ of two Kripke complete consistent logics, local tabularity of L₁ and L₂ is necessary for local tabularity of L₁ L₂. However, it is not sufficient: the product of two locally tabular logics can be not locally tabular. We provide extra semantic and axiomatic conditions which give criteria of local tabularity of the product of two locally tabular logics. Then we apply them to identify new families of locally tabular products.
Shapirovsky et al. (Tue,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: