title: Logica modale regolare
text: # Logica modale regolare
  
  In logica modale, una logica modale regolare è una logica modale chiusa sotto la dualità dei due operatori modali:
  
  $\Diamond A\equiv \lnot \Box \lnot A$
  
  e chiusa sotto la regola:
  
  $(A\land B)\to C\vdash (\Box A\land \Box B)\to \Box C.$
  
  Ogni logica modale regolare è classica e ogni logica modale normale è regolare e quindi classica.
  
  