On the local consequence of modal Product logic: standard completeness and decidability

Amanda Vidal

We study local consequence relations in modal extensions of product logic over Kripke models with either valued (fuzzy) or crisp accessibility relations. In both settings, we consi…